compiler/testData/codegen/box/nullCheckOptimization/trivialInstanceOf.kt

// FILE: lib.kt
sealed class A {
    class B : A()

    class C : A()
}

inline fun foo(): A = A.B()

// FILE: main.kt
fun box(): String {
    val a: A = foo()
    val b: Boolean
    when (a) {
        is A.B -> b = true
        is A.C -> b = false
    }
    return if (b) "OK" else "FAIL"
}