kotlin-fork/compiler/fir/analysis-tests/testData/resolve/exhaustiveness/negative/missingBooleanBranch.fir.txt

FILE: missingBooleanBranch.kt
    public final fun test_1(cond: R|kotlin/Boolean|): R|kotlin/Unit| {
        lval x: R|kotlin/Int| = when (R|<local>/cond|) {
            ==($subj$, Boolean(true)) ->  {
                Int(1)
            }
        }

        lval y: R|kotlin/Int| = when (R|<local>/cond|) {
            ==($subj$, Boolean(false)) ->  {
                Int(2)
            }
        }

        lval z: R|kotlin/Int| = when (R|<local>/cond|) {
            ==($subj$, Boolean(true)) ->  {
                Int(1)
            }
            ==($subj$, Boolean(false)) ->  {
                Int(2)
            }
        }

    }
    public final fun test_2(cond: R|kotlin/Boolean?|): R|kotlin/Unit| {
        lval x: R|kotlin/Int| = when (R|<local>/cond|) {
            ==($subj$, Boolean(true)) ->  {
                Int(1)
            }
            ==($subj$, Boolean(false)) ->  {
                Int(2)
            }
        }

        lval y: R|kotlin/Int| = when (R|<local>/cond|) {
            ==($subj$, Boolean(true)) ->  {
                Int(1)
            }
            ==($subj$, Boolean(false)) ->  {
                Int(2)
            }
            ==($subj$, Null(null)) ->  {
                Int(3)
            }
        }

    }
    public final fun test_3(cond: R|kotlin/Boolean|): R|kotlin/Unit| {
        when (R|<local>/cond|) {
            ==($subj$, Boolean(true)) ->  {
                Int(1)
            }
        }

    }