compiler/testData/diagnostics/tests/smartCasts/afterBinaryExpr.fir.kt

package o

class A {
    infix fun foo(b: B) = b
}

class B {
    fun bar() {}
}

fun test(a: A, b: B?) {
    a foo b!!
    b.bar()
}