compiler/fir/analysis-tests/testData/resolve/whenInference.fir.txt

FILE: whenInference.kt
    public final fun <T> materialize(): R|T| {
        ^materialize throw R|java/lang/Exception.Exception|()
    }
    public abstract interface A : R|kotlin/Any| {
    }
    public final fun takeA(a: R|A|): R|kotlin/Unit| {
    }
    public final fun test(): R|kotlin/Unit| {
        R|/takeA|(when () {
            Boolean(true) ->  {
                R|/materialize|<R|A|>()
            }
            else ->  {
                R|/materialize|<R|A|>()
            }
        }
        )
    }