diff options
Diffstat (limited to 'tests/pending/pos/t8023.scala')
-rw-r--r-- | tests/pending/pos/t8023.scala | 22 |
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 - } -} |