| FILE: incGenericExtensionProperty.kt | |
| public abstract interface Context : R|kotlin/Any| { | |
| public abstract var <V> R|Variable<V>|.value: R|V| | |
| public get(): R|V| | |
| public set(value: R|V|): R|kotlin/Unit| | |
| } | |
| public final class Variable<T> : R|kotlin/Any| { | |
| public constructor<T>(): R|Variable<T>| { | |
| super<R|kotlin/Any|>() | |
| } | |
| } | |
| public abstract class A : R|Context| { | |
| public constructor(): R|A| { | |
| super<R|kotlin/Any|>() | |
| } | |
| public abstract val intVar: R|Variable<kotlin/Int>| | |
| public get(): R|Variable<kotlin/Int>| | |
| public final fun foo(): R|kotlin/Unit| { | |
| { | |
| lval <receiver>: R|Variable<kotlin/Int>| = this@R|/A|.R|/A.intVar| | |
| lval <unary>: R|kotlin/Int| = (this@R|/A|, R|<local>/<receiver>|).R|/Context.value|<R|kotlin/Int|> | |
| (this@R|/A|, R|<local>/<receiver>|).R|/Context.value|<R|kotlin/Int|> = R|<local>/<unary>|.R|kotlin/Int.inc|() | |
| R|<local>/<unary>| | |
| } | |
| } | |
| } |