Dmitriy Novozhilov
13 lines
168 B
Kotlin
Vendored
13 lines
168 B
Kotlin
Vendored
// !DUMP_CFG
|
|
interface A
|
|
|
|
interface B {
|
|
val b: Boolean
|
|
}
|
|
|
|
val A.check_1: Boolean
|
|
get() = this is B && b
|
|
|
|
val A.check_2: Boolean
|
|
get() = this is B && this.b
|