Normalize types in compareAtoms

mbovel · Jun 21, 2023 · 1b52634 · 1b52634
1 parent b614d84
commit 1b52634
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -1606,9 +1606,9 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         finally canCompareAtoms = true
       result
 
-    tp2.atoms match
+    tp2.normalized.atoms match
       case Atoms.Range(lo2, hi2) if canCompareAtoms && canCompare(hi2) =>
-        tp1.atoms match
+        tp1.normalized.atoms match
           case Atoms.Range(lo1, hi1) =>
             if hi1.subsetOf(lo2) || knownSingletons && hi2.size == 1 && hi1 == hi2 then
               Some(verified(true))