FILE: initBlockAndInPlaceLambda.kt public abstract interface B : R|kotlin/Any| { } public abstract interface A : R|kotlin/Any| { public abstract val b: R|B?| public get(): R|B?| } public final class C : R|kotlin/Any| { public constructor(a: R|A|, b: R|B|): R|C| { super() } init { lval c: R|C?| = R|/a|.R|/A.b|?.{ $subj$.R|kotlin/let|( = let@fun (it: R|B|): R|C| { ^ R|/C.C|(R|/a|, R|/it|) } ) } } }