Victor Petukhov
c0ae68fe93
That logic is hard to support because it used deprecated `OldResolutionCandidate` and `ResolvedCallImpl`. Moreover FIR has own CFG utils.
32 lines
900 B
Plaintext
Vendored
32 lines
900 B
Plaintext
Vendored
== foo ==
|
|
fun foo(i: Int) {}
|
|
---------------------
|
|
<v0>: Int NEW: magic[FAKE_INITIALIZER](i: Int) -> <v0>
|
|
=====================
|
|
== foo ==
|
|
fun foo(a: IntArray) {}
|
|
---------------------
|
|
<v0>: IntArray NEW: magic[FAKE_INITIALIZER](a: IntArray) -> <v0>
|
|
=====================
|
|
== foo ==
|
|
fun foo(a: String, b: Int) {}
|
|
---------------------
|
|
<v0>: String NEW: magic[FAKE_INITIALIZER](a: String) -> <v0>
|
|
<v1>: Int NEW: magic[FAKE_INITIALIZER](b: Int) -> <v1>
|
|
=====================
|
|
== foo ==
|
|
fun foo() {}
|
|
---------------------
|
|
=====================
|
|
== test ==
|
|
fun test() {
|
|
foo(bar())
|
|
}
|
|
---------------------
|
|
foo !<v2>: *
|
|
bar !<v0>: *
|
|
bar() <v1>: * NEW: magic[UNRESOLVED_CALL](bar()|!<v0>) -> <v1>
|
|
foo(bar()) <v3>: * NEW: magic[UNRESOLVED_CALL](foo(bar())|<v1>, !<v2>) -> <v3>
|
|
{ foo(bar()) } <v3>: * COPY
|
|
=====================
|