kotlin-fork/analysis/analysis-api/testData/components/smartCastProvider/smartCastInfo/multiSmartcast_stable.kt

interface A
interface B

fun test(a: Any) {
    if (a is A && a is B) {
        <expr>a</expr>
    }
}