xarray (https://github.com/pydata/xarray)
+ xarray/tests/test_dataarray.py:284:13 error[invalid-assignment] Cannot assign to attribute `dims` on type `DataArray` whose `__set__` method returns `Never`/`NoReturn`
+ xarray/tests/test_variable.py:2601:13 error[invalid-assignment] Cannot assign to attribute `name` on type `IndexVariable` whose `__set__` method returns `Never`/`NoReturn`

diff --git i/crates/ty_python_semantic/src/types/call.rs w/crates/ty_python_semantic/src/types/call.rs
index 6a1f82da27..133481e80f 100644
--- i/crates/ty_python_semantic/src/types/call.rs
+++ w/crates/ty_python_semantic/src/types/call.rs
@@ -104,10 +104,6 @@ impl<'db> Type<'db> {
 pub(crate) struct CallError<'db>(pub(crate) CallErrorKind, pub(crate) Box<Bindings<'db>>);
 
 impl<'db> CallError<'db> {
-    pub(crate) fn return_type(&self, db: &'db dyn Db) -> Type<'db> {
-        self.1.return_type(db)
-    }
-
     /// Returns `Some(property)` if the call error was caused by an attempt to set a property
     /// that has no setter, and `None` otherwise.
     pub(crate) fn as_attempt_to_set_property_with_no_setter(
diff --git i/crates/ty_python_semantic/src/types/infer/builder.rs w/crates/ty_python_semantic/src/types/infer/builder.rs
index 7abd69073c..609c073036 100644
--- i/crates/ty_python_semantic/src/types/infer/builder.rs
+++ w/crates/ty_python_semantic/src/types/infer/builder.rs
@@ -2029,39 +2029,6 @@ impl<'db, 'ast> TypeInferenceBuilder<'db, 'ast> {
         }
     }
 
-    /// Returns `true` if `property_ty` is a property whose setter returns `Never`/`NoReturn`
-    /// when called for an assignment to `object_ty` with `value_ty`.
-    fn property_setter_returns_never(
-        &self,
-        property_ty: Type<'db>,
-        object_ty: Type<'db>,
-        value_ty: Type<'db>,
-    ) -> bool {
-        let db = self.db();
-        property_ty.as_property_instance().is_some_and(|property| {
-            property.setter(db).is_some_and(|setter| {
-                match setter.try_call(db, &CallArguments::positional([object_ty, value_ty])) {
-                    Ok(result) => result.return_type(db).is_never(),
-                    Err(err) => err.return_type(db).is_never(),
-                }
-            })
-        })
-    }
-
-    /// Returns `true` if `property_ty` is a property whose deleter returns `Never`/`NoReturn`
-    /// when called for deletion on `object_ty`.
-    fn property_deleter_returns_never(&self, property_ty: Type<'db>, object_ty: Type<'db>) -> bool {
-        let db = self.db();
-        property_ty.as_property_instance().is_some_and(|property| {
-            property.deleter(db).is_some_and(|deleter| {
-                match deleter.try_call(db, &CallArguments::positional([object_ty])) {
-                    Ok(result) => result.return_type(db).is_never(),
-                    Err(err) => err.return_type(db).is_never(),
-                }
-            })
-        })
-    }
-
     /// Make sure that the attribute assignment `obj.attribute = value` is valid.
     ///
     /// `target` is the node for the left-hand side, `object_ty` is the type of `obj`, `attribute` is
@@ -2375,7 +2342,7 @@ impl<'db, 'ast> TypeInferenceBuilder<'db, 'ast> {
                                 &CallArguments::positional([meta_attr_ty, object_ty, value_ty]),
                             );
 
-                            if self.property_setter_returns_never(meta_attr_ty, object_ty, value_ty)
+                            if matches!(&dunder_set_result, Ok(b) if b.return_type(db).is_never())
                             {
                                 if emit_diagnostics
                                     && let Some(builder) =
@@ -2586,7 +2553,7 @@ impl<'db, 'ast> TypeInferenceBuilder<'db, 'ast> {
                                 &CallArguments::positional([meta_attr_ty, object_ty, value_ty]),
                             );
 
-                            if self.property_setter_returns_never(meta_attr_ty, object_ty, value_ty)
+                            if matches!(&dunder_set_result, Ok(b) if b.return_type(db).is_never())
                             {
                                 if emit_diagnostics
                                     && let Some(builder) =
@@ -2933,7 +2900,7 @@ impl<'db, 'ast> TypeInferenceBuilder<'db, 'ast> {
                         TypeContext::default(),
                     );
 
-                    if self.property_deleter_returns_never(attr_ty, object_ty) {
+                    if matches!(&delete_dunder_call_result, Ok(b) if b.return_type(db).is_never()) {
                         if emit_diagnostics
                             && let Some(builder) =
                                 self.context.report_lint(&INVALID_ASSIGNMENT, target)