From d998bea5de8a01fc0a9b319831171bc876af4b81 Mon Sep 17 00:00:00 2001 From: David Peter Date: Wed, 14 May 2025 13:52:02 +0200 Subject: [PATCH] Fix violated invariant --- crates/ty_python_semantic/src/types/generics.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/crates/ty_python_semantic/src/types/generics.rs b/crates/ty_python_semantic/src/types/generics.rs index a178afe40c..db507df82d 100644 --- a/crates/ty_python_semantic/src/types/generics.rs +++ b/crates/ty_python_semantic/src/types/generics.rs @@ -536,7 +536,11 @@ impl<'db> Specialization<'db> { .iter() .zip(other.types(db)) .map(|(self_type, other_type)| { - union_or_intersection_elements_ordering(db, self_type, other_type) + union_or_intersection_elements_ordering( + db, + &self_type.normalized(db), + &other_type.normalized(db), + ) }) .fold(Ordering::Equal, Ordering::then) })