FILE: annotationArgumentMustBeConst.kt public final annotation class Ann1 : R|kotlin/Annotation| { public constructor(vararg a: R|kotlin/Array|): R|Ann1| { super() } public final val a: R|kotlin/Array| = R|/a| public get(): R|kotlin/Array| } public final annotation class Ann2 : R|kotlin/Annotation| { public constructor(a: R|kotlin/IntArray|): R|Ann2| { super() } public final val a: R|kotlin/IntArray| = R|/a| public get(): R|kotlin/IntArray| } public final annotation class Ann3 : R|kotlin/Annotation| { public constructor(a: R|kotlin/Array|): R|Ann3| { super() } public final val a: R|kotlin/Array| = R|/a| public get(): R|kotlin/Array| } public final var foo: R|kotlin/String| = String(a) public get(): R|kotlin/String| public set(value: R|kotlin/String|): R|kotlin/Unit| public final var bar: R|kotlin/Int| = Int(1) public get(): R|kotlin/Int| public set(value: R|kotlin/Int|): R|kotlin/Unit| public final fun baz(): R|kotlin/Int| { ^baz Int(2) } public final val arr: R|kotlin/Array| = R|kotlin/arrayOf|(vararg(String(a), String(b))) public get(): R|kotlin/Array| public final val two: R|kotlin/Int| = Int(2) public get(): R|kotlin/Int| public final const val cnst: R|kotlin/Int| = Int(3) public get(): R|kotlin/Int| public final class Class : R|kotlin/Any| { public constructor(): R|Class| { super() } public final val a: R|kotlin/Int| = Int(1) public get(): R|kotlin/Int| } @R|Ann1|(a = vararg(R|/foo|, R|/foo|.R|kotlin/String.plus|(R|/bar|), (R|/foo|, String( ), R|/bar|), (R|/baz|(), String( )))) @R|Ann2|(a = (R|/bar|, R|/baz|(), R|/bar|.R|kotlin/Int.plus|(R|/cnst|))) @R|Ann3|(a = R|/arr|) public final fun test(): R|kotlin/Unit| { }