We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 95907f9 commit 6e42644Copy full SHA for 6e42644
compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -3441,8 +3441,8 @@ class MatchReducer(initctx: Context) extends TypeComparer(initctx) {
3441
isConcrete(tp1.underlying)
3442
case tp1: AndOrType =>
3443
isConcrete(tp1.tp1) && isConcrete(tp1.tp2)
3444
- case tp: FlexibleType =>
3445
- isConcrete(tp.hi)
+ case tp1: FlexibleType =>
+ isConcrete(tp1.hi)
3446
case _ =>
3447
val tp2 = tp1.stripped.stripLazyRef
3448
(tp2 ne tp) && isConcrete(tp2)
0 commit comments