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

[red-knot] Make Type::signatures() exhaustive (#17706)

Browse source
This commit is contained in:
Alex Waygood 2025-04-29 15:14:08 +01:00 • committed by GitHub
parent 9b9d16c3ba
commit c9a6b1a9d0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 19 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

20
crates/red_knot_python_semantic/src/types.rs
View file

@ -4049,7 +4049,25 @@ impl<'db> Type<'db> {
Signatures::single(CallableSignature::todo("Type::Intersection.call()"))
}
_ => Signatures::not_callable(self),
// TODO: these are actually callable
Type::MethodWrapper(_) | Type::DataclassDecorator(_) => Signatures::not_callable(self),
// TODO: some `KnownInstance`s are callable (e.g. TypedDicts)
Type::KnownInstance(_) => Signatures::not_callable(self),
Type::PropertyInstance(_)
| Type::AlwaysFalsy
| Type::AlwaysTruthy
| Type::IntLiteral(_)
| Type::StringLiteral(_)
| Type::BytesLiteral(_)
| Type::BooleanLiteral(_)
| Type::LiteralString
| Type::SliceLiteral(_)
| Type::Tuple(_)
| Type::BoundSuper(_)
| Type::TypeVar(_)
| Type::ModuleLiteral(_) => Signatures::not_callable(self),
}
}