tests/neg/kinds.scala


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

object Test {

  class C[T]
  class C2[T[X]]

  class B

  val x: C[C] = ??? // error: missing type parameter(s)
  val y: C2[C] = ???

  def f[T] = ???

  def f2[T[X]] = ???

  f[C] // error: missing type parameter(s)
  f2[C]

}