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

typevar equality works for all typevars

This commit is contained in:
Douglas Creager 2025-11-06 11:08:17 -05:00
parent 6c03643a0b
commit ef272e32e4
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1838,8 +1838,7 @@ impl<'db> Type<'db> {
// Note that this is not handled by the early return at the beginning of this method, // Note that this is not handled by the early return at the beginning of this method,
// since subtyping between a TypeVar and an arbitrary other type cannot be guaranteed to be reflexive. // since subtyping between a TypeVar and an arbitrary other type cannot be guaranteed to be reflexive.
(Type::TypeVar(lhs_bound_typevar), Type::TypeVar(rhs_bound_typevar)) (Type::TypeVar(lhs_bound_typevar), Type::TypeVar(rhs_bound_typevar))
if !lhs_bound_typevar.is_inferable(db, inferable) if lhs_bound_typevar.is_same_typevar_as(db, rhs_bound_typevar) =>
&& lhs_bound_typevar.is_same_typevar_as(db, rhs_bound_typevar) =>
{ {
ConstraintSet::from(true) ConstraintSet::from(true)
} }