FILE: annotationClassWithInner.kt
    public final val a: R|kotlin/String| = String(OK)
        public get(): R|kotlin/String|
    public final annotation class Anno : R|kotlin/Annotation| {
        public constructor(): R|Anno| {
            super<R|kotlin/Any|>()
        }

        public final class Inner : R|kotlin/Any| {
            public constructor(): R|Anno.Inner| {
                super<R|kotlin/Any|>()
            }

            public final val shouldNotBeEvaluated: R|kotlin/String| = R|/a|
                public get(): R|kotlin/String|

        }

    }
    public final fun box(): R|kotlin/String| {
        ^box Q|Anno|.R|/Anno.Inner.Inner|().R|/Anno.Inner.shouldNotBeEvaluated|
    }
