Scala example source code file (t0015.scala)

This example Scala source code file (t0015.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

any, m, m, nothing, ok, ok, t, t, test, test

The Scala t0015.scala source code

abstract class Test
{
   def f: Nothing

   Nil.map(f _)
}

abstract class M
{ self =>

    type T
    final type selfType = M {type T = self.T}
    type actualSelfType >: self.type <: selfType


    def f[U](x: Any) = {}

    // compiles successfully
    //f[Int](self: actualSelfType)

    f[Int](self: selfType) // compiles Ok now was well, because we narrow to singletonType in this situation

    //def g(x: Any) = {}
    //g(self: selfType)
}