compiler/testData/diagnostics/tests/when/intersectionExhaustivenessComplex.kt

// RUN_PIPELINE_TILL: FRONTEND
// CHECK_TYPE

sealed class A {
    class A1 : A()
    class A2 : A()
}

sealed class B {
    class B1 : B()
    class B2 : B()
}

fun foo(a: A) {
    if (<!IMPOSSIBLE_IS_CHECK_ERROR!>a !is B<!>) return

    when (a) {
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A1<!> -> ""
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A2<!> -> "v"
    }.length

    when (a) {
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A1<!> -> ""
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A2<!> -> "v"
    }.length // OK

    when (a) {
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A1<!> -> ""
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A2<!> -> "v"
        <!IMPOSSIBLE_IS_CHECK_ERROR!>is B.B1<!> -> "..." // should be warning: unreachable code
    }.length // OK

    when (a) {
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A1<!> -> ""
        <!IMPOSSIBLE_IS_CHECK_ERROR!>is B.B1<!> -> "..."
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A2<!> -> "v"
    }.length // OK

    <!NO_ELSE_IN_WHEN!>when<!> (a) {
        <!IMPOSSIBLE_IS_CHECK_WARNING!>is A.A1<!> -> ""
        <!IMPOSSIBLE_IS_CHECK_ERROR!>is B.B1<!> -> "..."
    }.length
}

/* GENERATED_FIR_TAGS: classDeclaration, funWithExtensionReceiver, functionDeclaration, functionalType, ifExpression,
infix, intersectionType, isExpression, nestedClass, nullableType, sealed, smartcast, stringLiteral, typeParameter,
typeWithExtension, whenExpression, whenWithSubject */