| package qualified_this { | |
| ~qtA~class A(val a:Int) { | |
| inner ~qtB~class B() { | |
| val x = `qtB`this`qtB`@B | |
| val y = `qtA`this`qtA`@A | |
| val z = `qtB`this | |
| ~xx~val Int.xx get() = `xx`this : Int | |
| ~xx()~fun Int.xx() { | |
| `xx()`this : Int | |
| val a = (fun Int.() = `xx()`this`xx()`@xx + this) | |
| } | |
| } | |
| } | |
| } | |
| class A<~T~T, ~E~E> { | |
| val a : `T`T | |
| val x : A<`T`T, `E`E> | |
| inner class X<~X.T~T> : A<`X.T`T, `E`E> { | |
| val a : `X.T`T | |
| val b : `X.E`E | |
| ~X.E~class E {} | |
| } | |
| } | |