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
24 lines
544 B
Kotlin
Vendored
24 lines
544 B
Kotlin
Vendored
// !CHECK_TYPE
|
|
|
|
//KT-948 Make type inference work with sure()/!!
|
|
|
|
package a
|
|
|
|
import java.util.*
|
|
import checkSubtype
|
|
|
|
fun <T> emptyList() : List<T>? = ArrayList<T>()
|
|
|
|
fun foo() {
|
|
// type arguments shouldn't be required
|
|
val l : List<Int> = emptyList()!!
|
|
val l1 = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>emptyList<!>()!!<!>
|
|
|
|
checkSubtype<List<Int>>(emptyList()!!)
|
|
checkSubtype<List<Int>?>(emptyList())
|
|
|
|
doWithList(emptyList()!!)
|
|
}
|
|
|
|
fun doWithList(list: List<Int>) = list
|