FILE: localInnerClass.kt public abstract interface Foo : R|kotlin/Any| { } public final fun bar(): R|kotlin/Unit| { object : R|Foo| { private constructor(): R|| { super() } public final fun foo(): R|Foo| { ^foo this@R|/|.R|/.Derived.Derived|(Int(42)) } local final inner class Derived : R|Foo| { public .constructor(x: R|kotlin/Int|): R|/.Derived| { super() } public final val x: R|kotlin/Int| = R|/x| public get(): R|kotlin/Int| } } }