Also reduce references with prefixes that alias class types

WojciechMazur · WojciechMazur · commit cb736f05e939 · 2024-07-04T19:08:21.000+02:00
[Cherry-picked 401f126][modified]
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2603,7 +2603,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
       }
       else this

Original file line number	Diff line number	Diff line change
`@@ -2603,7 +2603,7 @@ object Types extends TypeUtils {`
`2603`	`2603`	`if reduced.exists then reduced`
`2604`	`2604`	`else prefix.stripTypeVar match`
`2605`	`2605`	`case pre: (AppliedType \| TypeRef)`
`2606`		`- if prefix.typeSymbol.isClass && this.symbol.isAliasType => dealias`
	`2606`	`+ if prefix.dealias.typeSymbol.isClass && this.symbol.isAliasType => dealias`
`2607`	`2607`	`case _ => this`
`2608`	`2608`	`}`
`2609`	`2609`	`else this`