Denis.Zharkov
2ecba6ac39
This directive anyway does not make test run twice with OI, and with NI It only once run the test with specific settings (// LANGUAGE) and ignores irrelevant (OI or NI tags)
8 lines
191 B
Kotlin
Vendored
8 lines
191 B
Kotlin
Vendored
|
|
fun calc(x: List<String>?, y: Int?): Int {
|
|
x?.get(y!! - 1)
|
|
// y!! above should not provide smart cast here
|
|
val yy: Int = <!TYPE_MISMATCH!>y<!>
|
|
return yy + (x?.size ?: 0)
|
|
}
|