Normalize types in compareAtoms

Author: mbovel

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))