Files
Victor Petukhov ee728b6902 Use the new type inference for top-level callable reference resolution
^KT-47797 Fixed
^KT-47987 Fixed
^KT-45034 Fixed
^KT-48446 Fixed
^KT-13934 Fixed
2021-09-27 16:12:27 +03:00

24 lines
463 B
Plaintext
Vendored

open class B {
constructor(vararg x: Int) {}
}
class A : B {
<caret>constructor(vararg x: Int): super(*x, *intArrayOf(1, 2, 3), 4) {}
}
Resolved call:
Resulting descriptor: constructor B(vararg x: Int) defined in B
Explicit receiver kind = NO_EXPLICIT_RECEIVER
Dispatch receiver = NO_RECEIVER
Extension receiver = NO_RECEIVER
Value arguments mapping:
SUCCESS x : IntArray = x
SUCCESS x : IntArray = intArrayOf(1, 2, 3)
SUCCESS x : IntArray = 4