t0015.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 26 行

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)

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