73799e2c3c
It's done with similar constructions where possible trying to preserve intended behavior. Some usages are removed because they test exactly the feature that we are going to drop soon.
31 lines
544 B
Plaintext
Vendored
31 lines
544 B
Plaintext
Vendored
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 {}
|
|
}
|
|
}
|
|
|