mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-08-04 10:48:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[ty] Type inference for hasattr(…)

Browse source
This commit is contained in:
David Peter 2025-05-28 09:58:52 +02:00
parent 48c425c15b
commit ae6dd04910
1 changed files with 20 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

20
crates/ty_python_semantic/src/types/call/bind.rs
View file

@ -655,6 +655,26 @@ impl<'db> Bindings<'db> {
} }
} }
Some(KnownFunction::HasAttr) => {
if let [Some(obj), Some(Type::StringLiteral(attr_name))] =
overload.parameter_types()
{
match obj.member(db, attr_name.value(db)).symbol {
Symbol::Type(_, Boundness::Bound) => {
overload.set_return_type(Type::BooleanLiteral(true));
}
Symbol::Type(_, Boundness::PossiblyUnbound) => {
// Fall back to bool (from typeshed)
}
Symbol::Unbound => {
// Returning `Literal[False]` here seems potentially
// dangerous. The attribute could have been added
// dynamically, so fall back to `bool` here to be safe.
}
}
}
}
Some(KnownFunction::IsProtocol) => { Some(KnownFunction::IsProtocol) => {
if let [Some(ty)] = overload.parameter_types() { if let [Some(ty)] = overload.parameter_types() {
overload.set_return_type(Type::BooleanLiteral( overload.set_return_type(Type::BooleanLiteral(