FILE: argumentsOfAnnotations.kt public final annotation class Ann : R|kotlin/Annotation| { public constructor(x: R|kotlin/Int|, y: R|kotlin/String|, z: R|kotlin/String| = String(z)): R|Ann| { super() } public final val x: R|kotlin/Int| = R|/x| public get(): R|kotlin/Int| public final val y: R|kotlin/String| = R|/y| public get(): R|kotlin/String| public final val z: R|kotlin/String| = R|/z| public get(): R|kotlin/String| } @R|Ann|(y = String(y), x = Int(10)) public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } } public final annotation class AnnVarargs : R|kotlin/Annotation| { public constructor(x: R|kotlin/Int|, vararg y: R|kotlin/Array|, z: R|kotlin/Int|): R|AnnVarargs| { super() } public final val x: R|kotlin/Int| = R|/x| public get(): R|kotlin/Int| public final val y: R|kotlin/Array| = R|/y| public get(): R|kotlin/Array| public final val z: R|kotlin/Int| = R|/z| public get(): R|kotlin/Int| } @R|AnnVarargs|(x = Int(1), y = Int(2)) public final class B : R|kotlin/Any| { public constructor(): R|B| { super() } }