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

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

    }
