FILE: defaultArguments.kt public final fun foo(): R|kotlin/Int| { ^foo Int(1) } public final fun test(x: R|kotlin/Any|, y: R|kotlin/String| = (R|/x| as R|kotlin/String|), z: R|kotlin/Int| = R|kotlin/run|( = run@fun (): R|kotlin/Int| { ^ R|/foo|() } )): R|kotlin/Unit| { R|/foo|() }