FILE: derivedClass.kt
    <T> public open class Base {
        public constructor(x: R|T|): super<R|kotlin/Any|>()

        public final property x(val): R|T|
            public get(): R|T|

    }
    <T : R|kotlin/Any|> public final class Derived : R|Base<T>| {
        public constructor(x: R|T|): super<R|Base<T>|>(R|/Base.x|)

    }
    <T : R|kotlin/Any|> public final function create(x: R|T|): R|Derived<T>| {
        return@@@create <Unresolved name: Derived>#(<Unresolved name: x>#)
    }
