Skip to content

Commit 6a2a649

Browse files
Fix #9890: Dealias before normalizing MT scrutinee
1 parent 46d37ca commit 6a2a649

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
@@ -4490,7 +4490,7 @@ object Types {
44904490
myReduced =
44914491
trace(i"reduce match type $this $hashCode", typr, show = true) {
44924492
def matchCases(cmp: TrackingTypeComparer): Type =
4493-
try cmp.matchCases(scrutinee.normalized, cases)
4493+
try cmp.matchCases(scrutinee.dealias.normalized, cases)
44944494
catch case ex: Throwable =>
44954495
handleRecursive("reduce type ", i"$scrutinee match ...", ex)
44964496
finally updateReductionContext(cmp.footprint)

0 commit comments

Comments
 (0)