Victor Petukhov
76 lines
2.7 KiB
Plaintext
Vendored
76 lines
2.7 KiB
Plaintext
Vendored
== A ==
|
|
class A {
|
|
companion object
|
|
}
|
|
---------------------
|
|
=====================
|
|
== B ==
|
|
object B {
|
|
val A.Companion.foo: X get() = X
|
|
}
|
|
---------------------
|
|
=====================
|
|
== X ==
|
|
object X
|
|
---------------------
|
|
=====================
|
|
== C ==
|
|
object C {
|
|
operator fun X.invoke() = println("Hello!")
|
|
}
|
|
---------------------
|
|
=====================
|
|
== invoke ==
|
|
operator fun X.invoke() = println("Hello!")
|
|
---------------------
|
|
println !<v1>: *
|
|
"Hello!" <v0>: * NEW: r("Hello!") -> <v0>
|
|
println("Hello!") <v2>: {<: [Error type: Return type for function cannot be resolved]} NEW: magic[UNRESOLVED_CALL](println("Hello!")|<v0>, !<v1>) -> <v2>
|
|
=====================
|
|
== with ==
|
|
inline fun <T, R> with(receiver: T, block: T.() -> R): R = receiver.block()
|
|
---------------------
|
|
<v0>: {<: T} NEW: magic[FAKE_INITIALIZER](receiver: T) -> <v0>
|
|
<v1>: {<: T.() -> R} NEW: magic[FAKE_INITIALIZER](block: T.() -> R) -> <v1>
|
|
receiver <v3>: {<: T} NEW: r(receiver) -> <v3>
|
|
block <v2>: {<: (T) -> R} NEW: r(block) -> <v2>
|
|
block() <v4>: {<: R} NEW: call(block(), invoke|<v2>, <v3>) -> <v4>
|
|
receiver.block() <v4>: {<: R} COPY
|
|
=====================
|
|
== use ==
|
|
fun use() = with(C) {
|
|
with(B) {
|
|
A.foo()
|
|
}
|
|
}
|
|
---------------------
|
|
C <v0>: C NEW: r(C) -> <v0>
|
|
{ with(B) { A.foo() } } <v1>: {<: C.() -> ???} NEW: r({ with(B) { A.foo() } }) -> <v1>
|
|
with(C) { with(B) { A.foo() } } <v2>: {<: [Error type: Return type for function cannot be resolved]} NEW: call(with(C) { with(B) { A.foo() } }, with|<v0>, <v1>) -> <v2>
|
|
=====================
|
|
== anonymous_0 ==
|
|
{
|
|
with(B) {
|
|
A.foo()
|
|
}
|
|
}
|
|
---------------------
|
|
B <v0>: B NEW: r(B) -> <v0>
|
|
{ A.foo() } <v1>: {<: B.() -> ???} NEW: r({ A.foo() }) -> <v1>
|
|
with(B) { A.foo() } <v2>: {<: ???} NEW: call(with(B) { A.foo() }, with|<v0>, <v1>) -> <v2>
|
|
with(B) { A.foo() } <v2>: {<: ???} COPY
|
|
=====================
|
|
== anonymous_1 ==
|
|
{
|
|
A.foo()
|
|
}
|
|
---------------------
|
|
<v0>: B NEW: magic[IMPLICIT_RECEIVER](foo) -> <v0>
|
|
<v3>: C NEW: magic[IMPLICIT_RECEIVER](foo()) -> <v3>
|
|
A <v1>: A.Companion NEW: r(A, Companion) -> <v1>
|
|
foo <v2>: X NEW: r(foo|<v0>, <v1>) -> <v2>
|
|
foo() <v4>: {<: ???} NEW: call(foo(), invoke|<v2>, <v3>) -> <v4>
|
|
A.foo() <v4>: {<: ???} COPY
|
|
A.foo() <v4>: {<: ???} COPY
|
|
=====================
|