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

FILE: tryInference.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|(try {
            R|/materialize|<R|A|>()
        }
        catch (e: R|{kotlin/Exception=} java/lang/Exception|) {
            R|/materialize|<R|A|>()
        }
        finally {
            R|/materialize<CS errors: /materialize>#|<<ERROR TYPE REF: Cannot infer argument for type parameter T>>()
        }
        )
    }