return_thistype.scala

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

// tests transformation of return type in typedTypeApply (see also tcpoly_gm.scala)
class As { 
  class A { 
    def foo: A.this.type = bar.asInstanceOf[A.this.type]
    def foo2: this.type = bar.asInstanceOf[this.type]
    def bar: A = null 
  }
}