From 42185b643bb779e02a6cf142520db2e9942e823c Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Mon, 15 Dec 2025 12:00:32 -0500 Subject: [PATCH] Revert "canonical ordering for constraint set mappings" This reverts commit 3c811c19d4f1e304c1192e19eeb35b8868042561. --- crates/ty_python_semantic/src/types/generics.rs | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/crates/ty_python_semantic/src/types/generics.rs b/crates/ty_python_semantic/src/types/generics.rs index 90f3917344..93c4a53fd8 100644 --- a/crates/ty_python_semantic/src/types/generics.rs +++ b/crates/ty_python_semantic/src/types/generics.rs @@ -1604,20 +1604,10 @@ 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.canonically_ordered(self.db), - variance, - &mut f, - ); + self.add_type_mapping(typevar, upper, variance, &mut f); } else if !lower.is_never() { let variance = formal.variance_of(self.db, typevar); - self.add_type_mapping( - typevar, - lower.canonically_ordered(self.db), - variance, - &mut f, - ); + self.add_type_mapping(typevar, lower, variance, &mut f); } if let Type::TypeVar(lower_bound_typevar) = lower { let variance = formal.variance_of(self.db, lower_bound_typevar);