Fix violated invariant

2025-08-04 18:58:04 +00:00 · 2025-05-14 13:52:02 +02:00 · 2025-05-14 13:52:02 +02:00 · d998bea5de
commit d998bea5de
parent 3a76557be2
1 changed files with 5 additions and 1 deletions
--- 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)
            })