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

        <ERROR PROPERTY: Destructuring declarations are only allowed for local variables/values>

    }
