FILE: [ResolvedTo(BODY_RESOLVE)] super.kt
    public abstract [ResolvedTo(BODY_RESOLVE)] interface A : R|kotlin/Any| {
        public open [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }

    }
    public abstract [ResolvedTo(BODY_RESOLVE)] interface B : R|kotlin/Any| {
        public open [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }

        public open [ResolvedTo(ANNOTATION_ARGUMENTS)] fun bar(): R|kotlin/Unit| { LAZY_BLOCK }

    }
    public final [ResolvedTo(BODY_RESOLVE)] class C : R|A|, R|B| {
        public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] constructor(): R|C| {
            super<R|kotlin/Any|>()
        }

        public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun bar(): R|kotlin/Unit| { LAZY_BLOCK }

        public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }

    }