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

        public final function test(): R|kotlin/Unit| {
            val x: R|error: Not supported: FirImplicitTypeRefImpl| = <Ambiguity: foo, [/AnnotatedDerived.foo, /Annotated.foo]>#(String(123))
            val y: R|error: Not supported: FirImplicitTypeRefImpl| = <Ambiguity: foo, [/AnnotatedDerived.foo, /Annotated.foo]>#(Null(null))
        }

    }