lambdasReturns.fir.txt 638 字节
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
FILE: lambdasReturns.kt
    public final fun <R> myRun(b: R|() -> R|): R|R| {
        ^myRun R|<local>/b|.R|SubstitutionOverride<kotlin/Function0.invoke: R|R|>|()
    }
    public final fun <T> materialize(): R|T| {
        ^materialize R|kotlin/TODO|()
    }
    public final fun foo(x: R|kotlin/String?|): R|kotlin/Unit| {
        lval r: R|kotlin/Int| = R|/myRun|<R|kotlin/Int|>(<L> = myRun@fun <anonymous>(): R|kotlin/Int| {
            lval y: R|kotlin/String| = R|<local>/x| ?: ^@myRun R?C|/materialize|()
            ^ R|<local>/y|.R|kotlin/String.length|
        }
        )
        R|<local>/r|.R|kotlin/Int.minus|(Int(1))
    }