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

canonical ordering for constraint set mappings

This commit is contained in:
Douglas Creager 2025-12-13 20:05:49 -05:00
parent ddcd76c544
commit 3c811c19d4
1 changed files with 12 additions and 2 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

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