Denis Zharkov
8 lines
212 B
Kotlin
Vendored
8 lines
212 B
Kotlin
Vendored
fun String.foo(y: Int) = y
|
|
|
|
fun calc(x: List<String>?): Int {
|
|
"abc".foo(x!!.size)
|
|
// Here we should have smart cast because of x!!, despite of KT-7204 fixed
|
|
return <!DEBUG_INFO_SMARTCAST!>x<!>.size
|
|
}
|