test/files/pos/return_thistype.scala


1
2
3
4
5
6
7
8

// 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 
  }
}