Skip to content

Commit 09660b7

Browse files
Fix #9890: Dealias before normalizing MT scrutinee
1 parent 2ae58f9 commit 09660b7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

compiler/src/dotty/tools/dotc/core/Types.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4430,7 +4430,7 @@ object Types {
44304430
myReduced =
44314431
trace(i"reduce match type $this $hashCode", typr, show = true) {
44324432
def matchCases(cmp: TrackingTypeComparer): Type =
4433-
try cmp.matchCases(scrutinee.normalized, cases)
4433+
try cmp.matchCases(scrutinee.dealias.normalized, cases)
44344434
catch case ex: Throwable =>
44354435
handleRecursive("reduce type ", i"$scrutinee match ...", ex)
44364436
finally updateReductionContext(cmp.footprint)

0 commit comments

Comments
 (0)