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

Revert "canonical ordering for constraint set mappings" 

This reverts commit 3c811c19d4.
This commit is contained in:
Douglas Creager 2025-12-15 12:00:32 -05:00
parent 94b4dd86c0
commit 42185b643b
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
crates/ty_python_semantic/src/types/generics.rs
View File

@ -1604,20 +1604,10 @@ impl<'db> SpecializationBuilder<'db> {
let upper = constraint.upper(self.db); let upper = constraint.upper(self.db);
if !upper.is_object() { if !upper.is_object() {
let variance = formal.variance_of(self.db, typevar); let variance = formal.variance_of(self.db, typevar);
self.add_type_mapping( self.add_type_mapping(typevar, upper, variance, &mut f);
typevar,
upper.canonically_ordered(self.db),
variance,
&mut f,
);
} else if !lower.is_never() { } else if !lower.is_never() {
let variance = formal.variance_of(self.db, typevar); let variance = formal.variance_of(self.db, typevar);
self.add_type_mapping( self.add_type_mapping(typevar, lower, variance, &mut f);
typevar,
lower.canonically_ordered(self.db),
variance,
&mut f,
);
} }
if let Type::TypeVar(lower_bound_typevar) = lower { if let Type::TypeVar(lower_bound_typevar) = lower {
let variance = formal.variance_of(self.db, lower_bound_typevar); let variance = formal.variance_of(self.db, lower_bound_typevar);