Dmitrii Gridin
30 lines
504 B
Kotlin
Vendored
30 lines
504 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// FILE: use.kt
|
|
package one
|
|
|
|
fun getStructureElementFor() {
|
|
val container: SuperJava = if (true) {
|
|
true <!CAST_NEVER_SUCCEEDS!>as<!> Child2
|
|
} else {
|
|
false <!CAST_NEVER_SUCCEEDS!>as<!> Child1
|
|
}
|
|
}
|
|
|
|
// FILE: SuperJava.java
|
|
package one;
|
|
|
|
public class SuperJava {
|
|
}
|
|
|
|
// FILE: Child1.java
|
|
package one;
|
|
|
|
public class Child1 extends SuperJava implements Cloneable {
|
|
}
|
|
|
|
// FILE: Child2.java
|
|
package one;
|
|
|
|
public class Child2 extends SuperJava implements Cloneable {
|
|
}
|