33e6a85a2d
We exclude testData pattern from copyright scope
13 lines
209 B
Kotlin
Vendored
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) {} |