FILE: elvisAndUnit.kt public final fun foo(x: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit| { } public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final fun bar(): R|kotlin/Unit| { } } public final fun main(a: R|A?|, y: R|kotlin/String|): R|kotlin/Unit| { R|/foo|( = foo@fun (it: R|kotlin/Int|): R|kotlin/Unit| { R|/a|?.{ $subj$.R|/A.bar|() } ?: R|/y|.R|kotlin/String.get|(Int(0)) } ) }