Remove redundant tests

isHK already does a dealias.
malcolmgreaves · Oct 24, 2015 · 538764f · 538764f
1 parent 4f15c10
commit 538764f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala
@@ -398,9 +398,7 @@ trait Checking {
     if (tpt.tpe.isHK && !ctx.compilationUnit.isJava) {
         // be more lenient with missing type params in Java,
         // needed to make pos/java-interop/t1196 work.
-      val alias = tpt.tpe.dealias
-      if (alias.isHK) errorTree(tpt, d"missing type parameter for ${tpt.tpe}")
-      else tpt.withType(alias)
+      errorTree(tpt, d"missing type parameter for ${tpt.tpe}")
     }
     else tpt
 }