Files
Dmitrii Gridin 33e6a85a2d [LL FIR] rename testdata to testData to avoid copyright generation
We exclude testData pattern from copyright scope
2023-09-18 21:12:45 +00:00

13 lines
209 B
Kotlin
Vendored

interface Foo {
val isValid: Boolean
}
fun test(obj: Any) {
if (obj is Foo || <expr>isValid(obj)</expr>) {
consume(obj)
}
}
fun isValid(obj: Any): Boolean = true
fun consume(obj: Foo) {}