FILE: jvm.kt
    public final class User : R|AnnotatedDerived| {
        public constructor(): R|User| {
            super<R|AnnotatedDerived|>()
        }

        public final fun test(): R|kotlin/Unit| {
            lval x: R|kotlin/String| = this@R|/User|.R|/AnnotatedDerived.foo|(String(123))
            lval y: R|kotlin/String| = this@R|/User|.R|/AnnotatedDerived.foo|(Null(null))
        }

    }
