FILE: Something.kt
    @R|kotlin/annotation/Target|(allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) [evaluated = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|)]) public final annotation class A : R|kotlin/Annotation| {
        public constructor(x: R|kotlin/String|): R|A| {
            super<R|kotlin/Any|>()
        }

        public final val x: R|kotlin/String| = R|<local>/x|
            public get(): R|kotlin/String|

    }
    public final annotation class Something : R|kotlin/Annotation| {
        public constructor(): R|Something| {
            super<R|kotlin/Any|>()
        }

    }
FILE: C.kt
    public open class C : R|kotlin/Any| {
        public constructor(): R|C| {
            super<R|kotlin/Any|>()
        }

        public final fun foo(x: R|@R|A|(x = String(SomeWord) [evaluated = String(SomeWord)])  kotlin/Int|): R|kotlin/Unit| {
        }

    }
FILE: D.kt
    public final class D : R|kotlin/Any| {
        public constructor(): R|D| {
            super<R|kotlin/Any|>()
        }

        @R|Something|() public final fun bar(): R|kotlin/Unit| {
        }

    }
    public final class E : R|C| {
        public constructor(): R|E| {
            super<R|C|>()
        }

    }
    public final fun box(): R|kotlin/String| {
        ^box String(OK)
    }
