FILE: [ResolvedTo(BODY_RESOLVE)] classLevelDestructuringWithAnnotation.kt
    public final [ResolvedTo(BODY_RESOLVE)] class Foo : R|kotlin/Any| {
        public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Foo] constructor(): R|util/Foo| {
            super<R|kotlin/Any|>()
        }

    }
