Revert "Fix underlyingClassRef for hk types"

odersky · odersky · commit a8b794c59138 · 2019-02-22T20:38:56.000+01:00
This reverts commit 0dcb5e8.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1166,8 +1166,7 @@ object Types {
         else if (tp.symbol.isAliasType) tp.underlying.underlyingClassRef(refinementOK)
         else NoType
       case tp: AppliedType =>
-        if (tp.tycon.isLambdaSub) NoType
-        else tp.superType.underlyingClassRef(refinementOK)
+        tp.superType.underlyingClassRef(refinementOK)
       case tp: AnnotatedType =>
         tp.underlying.underlyingClassRef(refinementOK)
       case tp: RefinedType =>
diff --git a/tests/neg/alloc-abstract.scala b/tests/neg/alloc-abstract.scala
diff --git a/tests/neg/parser-stability-21.scala b/tests/neg/parser-stability-21.scala
@@ -1,3 +1,3 @@
 class x0[x1[]]    // error
-    extends x1[
+    extends x1[   // error
 // error
