FILE: lambdasReturns.kt public final fun myRun(b: R|() -> R|): R|R| { ^myRun R|/b|.R|SubstitutionOverride|() } public final fun 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|( = myRun@fun (): R|kotlin/Int| { lval y: R|kotlin/String| = R|/x| ?: ^@myRun R?C|/materialize|() ^ R|/y|.R|kotlin/String.length| } ) R|/r|.R|kotlin/Int.minus|(Int(1)) }