1 files changed, 0 insertions, 22 deletions
diff --git a/tests/pending/pos/t8023.scala b/tests/pending/pos/t8023.scala
deleted file mode 100644
index 502b5c55d..000000000
--- a/tests/pending/pos/t8023.scala
+++ /dev/null
@@ -1,22 +0,0 @@
-import language._
-
-
-object Test {
-  def foo = (null: Any) match {
-    case a: A[k] =>
-      // error: kinds of the type arguments (k) do not conform to the
-      // expected kinds of the type parameters (type K) in class B.
-      new B[k]()
-  }
-}
-
-class A[K[L[_]]]
-
-class B[K[M[_]]]
-
-
-object Test2 {
-  def foo = (null: Any) match {
-    case a: A[k] => new B[k]() // this one worked before as the info of `A` was complete
-  }
-}