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