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)
9 lines
137 B
Kotlin
Vendored
9 lines
137 B
Kotlin
Vendored
// !CHECK_TYPE
|
|
val x get() = null
|
|
val y get() = null!!
|
|
|
|
fun foo() {
|
|
x checkType { _<Nothing?>() }
|
|
y checkType { _<Nothing>() }
|
|
}
|