Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update crates/ty_python_semantic/src/types/protocol_class.rs

Browse Source 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
This commit is contained in:
Shunsuke Shibayama
2025-08-16 12:15:05 +09:00
committed by GitHub
parent 8f99377bb2
commit 03e9c7b0a0
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
crates/ty_python_semantic/src/types/protocol_class.rs
View File

@@ -453,15 +453,17 @@ impl<'a, 'db> ProtocolMember<'a, 'db> {
} else {
false
};
let write_error = if let Some(Type::FunctionLiteral(setter)) = property.setter(db) {
if read_error {
return true;
}
if let Some(Type::FunctionLiteral(setter)) = property.setter(db) {
let setter_value_type = setter.parameter_type(db, 1).unwrap_or(Type::unknown());
!object_type
.validate_attribute_assignment(db, self.name, setter_value_type)
.is_not_err()
} else {
false
};
read_error || write_error
}
}
ProtocolMemberKind::Other(ty) => visitor.visit((*ty, attribute_type), || {
ty.is_disjoint_from_impl(db, attribute_type, visitor)