test/files/pos/t8023.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

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
  }
}