FILE: lambda.kt public final fun f(t: R|(@R|kotlin/ParameterName|(name = String(v)) kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit| { Int(1).R|kotlin/run|(R|/t|) } public final fun main(): R|kotlin/Unit| { R|/f|( = f@fun (i: R|@R|kotlin/ParameterName|(name = String(v)) kotlin/Int|): R|kotlin/Unit| { ^@f Unit } ) }