From 401f1264d87f09406210b1702c47519b2829c397 Mon Sep 17 00:00:00 2001
From: odersky <odersky@gmail.com>
Date: Wed, 27 Mar 2024 20:35:14 +0100
Subject: [PATCH] Also reduce references with prefixes that alias class types

---
 compiler/src/dotty/tools/dotc/core/Types.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
index b70f286b70ed..6e88ee9d18b5 100644
--- 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`