FILE: [ResolvedTo(ANNOTATION_ARGUMENTS)] annotationOnSuperTypeCall.kt
    @R|kotlin/annotation/Target|[Types](allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|)) public final [ResolvedTo(BODY_RESOLVE)] annotation class Anno : R|kotlin/Annotation| {
        public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Anno] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=util/Anno.position] position: R|kotlin/String|): R|util/Anno| {
            super<R|kotlin/Any|>()
        }

        public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val position: R|kotlin/String| = R|<local>/position|
            public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Anno] get(): R|kotlin/String|

    }
    public final const [ResolvedTo(CONTRACTS)] val prop: <implicit> = LAZY_EXPRESSION
        public [ResolvedTo(CONTRACTS)] get(): <implicit>
    public abstract [ResolvedTo(BODY_RESOLVE)] class AbstractClass<[ResolvedTo(BODY_RESOLVE)] T> : R|kotlin/Any| {
        public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=AbstractClass] constructor<[ResolvedTo(BODY_RESOLVE)] T>(): R|util/AbstractClass<T>| {
            super<R|kotlin/Any|>()
        }

    }
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] class MyClassWithoutConstructor : R|@R|util/Anno|(position = <strcat>(String(MyClassWithoutConstructor super type call ), R|util/prop|))  util/AbstractClass<@R|util/Anno|(position = <strcat>(String(MyClassWithoutConstructor nested super type ref ), R|util/prop|))  kotlin/collections/List<@R|util/Anno|(position = <strcat>(String(MyClassWithoutConstructor nested nested super type ref ), R|util/prop|))  kotlin/Int>>| {
        public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=MyClassWithoutConstructor] constructor(): R|util/MyClassWithoutConstructor| {
            LAZY_super<R|@R|util/Anno|(position = <strcat>(String(MyClassWithoutConstructor super type call ), R|util/prop|))  util/AbstractClass<@R|util/Anno|(position = <strcat>(String(MyClassWithoutConstructor nested super type ref ), R|util/prop|))  kotlin/collections/List<@R|util/Anno|(position = <strcat>(String(MyClassWithoutConstructor nested nested super type ref ), R|util/prop|))  kotlin/Int>>|>
        }

    }
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] class MyClassWithConstructor : R|@R|util/Anno|(position = <strcat>(String(MyClassWithConstructor super type call ), R|util/prop|))  util/AbstractClass<@R|util/Anno|(position = <strcat>(String(MyClassWithConstructor nested super type ref ), R|util/prop|))  kotlin/collections/List<@R|util/Anno|(position = <strcat>(String(MyClassWithConstructor nested nested super type ref ), R|util/prop|))  kotlin/Int>>| {
        public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=MyClassWithConstructor] constructor(): R|util/MyClassWithConstructor| {
            LAZY_super<R|@R|util/Anno|(position = <strcat>(String(MyClassWithConstructor super type call ), R|util/prop|))  util/AbstractClass<@R|util/Anno|(position = <strcat>(String(MyClassWithConstructor nested super type ref ), R|util/prop|))  kotlin/collections/List<@R|util/Anno|(position = <strcat>(String(MyClassWithConstructor nested nested super type ref ), R|util/prop|))  kotlin/Int>>|>
        }

    }