FILE: derivedClass.kt public open class Base : R|kotlin/Any| { public constructor(x: R|T1|): R|Base| { super() } public final val x: R|T1| = R|/x| public get(): R|T1| } public final class Derived : R|Base| { public constructor(x: R|T2|): R|Derived| { super|>(R|/x|) } } public final fun create(x: R|T3|): R|Derived| { ^create R|/Derived.Derived|(R|/x|) }