Also reduce references with prefixes that alias class types

scala · Mar 27, 2024 · 401f126 · 401f126
1 parent 291e84f
commit 401f126
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2721,7 +2721,7 @@ object Types extends TypeUtils {
       if reduced.exists then reduced
       else prefix.stripTypeVar match
         case pre: (AppliedType | TypeRef)
-        if prefix.typeSymbol.isClass && this.symbol.isAliasType => dealias
+        if prefix.dealias.typeSymbol.isClass && this.symbol.isAliasType => dealias
         case _ => this
 
     /** Guard against cycles that can arise if given `op`