FILE: classLevelDestructuringWithAnnotation.kt
    public final? class Foo : R|kotlin/Any| {
        public? constructor(): R|util/Foo| {
            LAZY_super<R|kotlin/Any|>
        }

    }
