Files
Nikolay Lunyak 88ff93df7f [FIR] Check is for impossibility
^KT-58203 Fixed
^KT-62646
2024-03-08 15:37:44 +00:00

27 lines
459 B
Kotlin
Vendored

// FILE: KotlinFile.kt
fun test() {
if (<!USELESS_IS_CHECK!>1 is Int<!>) {
if (<!USELESS_IS_CHECK!>1 is Boolean<!>) {
}
}
A.create() is A
<!USELESS_IS_CHECK!>A.create() is A?<!>
<!UNRESOLVED_REFERENCE!>unresolved<!> is A
<!UNRESOLVED_REFERENCE!>unresolved<!> is A?
val x = foo()
x as String
<!USELESS_IS_CHECK!>x is String<!>
}
fun foo(): Any = ""
// FILE: A.java
class A {
static A create() { return null; }
}