FILE: Derived.kt public final class Derived : R|Base| { public constructor(): R|Derived| { super() } public open override fun getSomething(): R|kotlin/String| { ^getSomething String(42) } } public final fun test(): R|kotlin/Unit| { lval d: R|Derived| = R|/Derived.Derived|() lval res1: R|kotlin/String| = R|/d|.R|/Derived.something| lval res2: R|kotlin/String| = R|/d|.R|/Derived.getSomething|() }