Use upper bound of abstract types

scala · Feb 22, 2021 · 5bf0524 · 5bf0524
1 parent 670f5c7
commit 5bf0524
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/compiler/scala/tools/nsc/transform/patmat/MatchTreeMaking.scala b/src/compiler/scala/tools/nsc/transform/patmat/MatchTreeMaking.scala
@@ -411,7 +411,7 @@ trait MatchTreeMaking extends MatchCodeGen with Debugging {
                   case TypeRef(pre, _, _) if !pre.isStable => // e.g. _: Outer#Inner
                     false
                   case TypeRef(pre, sym, args) =>
-                    val testedBinderClass = testedBinder.info.typeSymbol
+                    val testedBinderClass = testedBinder.info.upperBound.typeSymbol
                     val testedBinderType = testedBinder.info.baseType(testedBinderClass)
 
                     val testedPrefixIsExpectedTypePrefix = pre =:= testedBinderType.prefix