Scala example source code file (t4044.scala)

This example Scala source code file (t4044.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

a, a, any, any, anyref, b, c, m, m, n, n, test

The Scala t4044.scala source code

object Test {
  def M[N[O[_]]] = ()
  type A[_] = Any
  type B[_[_]] = Any
  type C[_[_[_]]] = Any

  M[Any] // okay, Any is kind overloaded.

  M[AnyRef] // error, (AnyRef :: *) not kind-conformant to (N :: * -> * -> *)

  M[A] // error, (A :: (* -> *) not kind-conformant to (N :: * -> * -> *)

  M[B] // okay, (B :: (* -> * -> *) is kind-conformant to (N :: * -> * -> *)

  M[C] // error, (C :: (* -> * -> * -> *) not kind-conformant to (N :: * -> * -> *)
}