1 files changed, 11 insertions, 8 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala
index aa1bc0ce9d..28636fc76e 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala
@@ -1373,14 +1373,17 @@ trait Infer {
             else =:=
           )
           (arg hasAnnotation UncheckedClass) || {
-            val TypeRef(_, sym, args) = arg.withoutAnnotations
-
-            (    isLocalBinding(sym)
-              || arg.typeSymbol.isTypeParameterOrSkolem
-              || (sym.name == tpnme.WILDCARD) // avoid spurious warnings on HK types
-              || check(arg, param.tpeHK, conforms)
-              || warn("non-variable type argument " + arg)
-            )
+            arg.withoutAnnotations match {
+              case TypeRef(_, sym, args) =>
+                (    isLocalBinding(sym)
+                  || arg.typeSymbol.isTypeParameterOrSkolem
+                  || (sym.name == tpnme.WILDCARD) // avoid spurious warnings on HK types
+                  || check(arg, param.tpeHK, conforms)
+                  || warn("non-variable type argument " + arg)
+                )
+              case _ =>
+                warn("non-variable type argument " + arg)
+            }
           }
         }