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

12 lines
193 B
Kotlin
Vendored

interface Foo {}
interface Bar {}
fun test(obj: Any) {
if (obj is Foo) {
if (obj is Bar) {
<expr>obj.consume(obj)</expr>
}
}
}
fun Bar.consume(obj: Foo) {}