Kirill Rakhman
fbf68a5bcc
This uses the same approach as INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION where we use a visitor to find a call to a symbol that contains the type variable in question. #KT-56140 Fixed
16 lines
297 B
Kotlin
Vendored
16 lines
297 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// SKIP_TXT
|
|
|
|
class Bar {
|
|
val a: Array<String>? = null
|
|
}
|
|
|
|
fun foo(bar: Bar) = bar.a?.asIterable() ?: <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>emptyArray<!>()
|
|
|
|
fun <T> Array<out T>.asIterable(): Iterable<T> = TODO()
|
|
|
|
fun testFrontend() {
|
|
val bar = Bar()
|
|
foo(bar)
|
|
}
|