Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[ty] Use `ParamSpec` without the attr for inferable check

This commit is contained in:
Dhruv Manilawala 2025-12-12 12:17:22 +05:30
parent 0138cd238a
commit a7246c63c1
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
crates/ty_python_semantic/src/types.rs
View File

@ -2174,6 +2174,23 @@ impl<'db> Type<'db> {
ConstraintSet::from(true) ConstraintSet::from(true)
} }
// Two ParamSpec attributes (P.args/P.kwargs and Q.args/Q.kwargs) are assignable to
// each other if they have the same attribute kind and both underlying ParamSpecs are
// inferable.
(Type::TypeVar(lhs_bound_typevar), Type::TypeVar(rhs_bound_typevar))
if lhs_bound_typevar.paramspec_attr(db).is_some()
&& lhs_bound_typevar.paramspec_attr(db)
== rhs_bound_typevar.paramspec_attr(db)
&& lhs_bound_typevar
.without_paramspec_attr(db)
.is_inferable(db, inferable)
&& rhs_bound_typevar
.without_paramspec_attr(db)
.is_inferable(db, inferable) =>
{
ConstraintSet::from(true)
}
// `type[T]` is a subtype of the class object `A` if every instance of `T` is a subtype of an instance // `type[T]` is a subtype of the class object `A` if every instance of `T` is a subtype of an instance
// of `A`, and vice versa. // of `A`, and vice versa.
(Type::SubclassOf(subclass_of), _) (Type::SubclassOf(subclass_of), _)