Regenerate test data

Add properties for Java annotations

compiler/testData/diagnostics/tests/namedArguments/allowForJavaAnnotation.txt

@@ -4,6 +4,8 @@ A(x = IntegerValueType(1): IntegerValueType(1), y = "2": kotlin.String) internal
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ x: kotlin.Int, /*1*/ y: kotlin.String)
+    public final val x: kotlin.Int
+    public final val y: kotlin.String
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/javaClassArgumentError.txt

@@ -5,6 +5,7 @@ internal val jClass: java.lang.Class<kotlin.String>
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ vararg value: java.lang.Class<*> /*kotlin.Array<out java.lang.Class<*>>*/)
     public constructor A(/*0*/ vararg value: kotlin.reflect.KClass<*> /*kotlin.Array<out kotlin.reflect.KClass<*>>*/)
+    public final val value: kotlin.Array<kotlin.reflect.KClass<*>>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/javaClassArrayInAnnotations.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ vararg value: java.lang.Class<*> /*kotlin.Array<out java.lang.Class<*>>*/ = ..., /*1*/ arg: kotlin.Array<out java.lang.Class<*>> = ...)
     public constructor A(/*0*/ vararg value: kotlin.reflect.KClass<*> /*kotlin.Array<out kotlin.reflect.KClass<*>>*/ = ..., /*1*/ arg: kotlin.Array<out kotlin.reflect.KClass<*>> = ...)
+    public final val arg: kotlin.Array<kotlin.reflect.KClass<*>>
+    public final val value: kotlin.Array<kotlin.reflect.KClass<*>>
     public abstract fun arg(): kotlin.Array<kotlin.reflect.KClass<*>>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/javaClassInAnnotations.txt

@@ -1,8 +1,10 @@
-package 
+package
 
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*> = ..., /*1*/ arg: java.lang.Class<*> = ...)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*> = ..., /*1*/ arg: kotlin.reflect.KClass<*> = ...)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val value: kotlin.reflect.KClass<*>
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/orderWithValue.txt

@@ -3,6 +3,12 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: kotlin.String, /*1*/ b: kotlin.Double, /*2*/ x1: java.lang.Class<*>, /*3*/ a: kotlin.Int, /*4*/ x: java.lang.Class<*>, /*5*/ x2: java.lang.Class<*>)
     public constructor A(/*0*/ value: kotlin.String, /*1*/ b: kotlin.Double, /*2*/ x1: kotlin.reflect.KClass<*>, /*3*/ a: kotlin.Int, /*4*/ x: kotlin.reflect.KClass<*>, /*5*/ x2: kotlin.reflect.KClass<*>)
+    public final val a: kotlin.Int
+    public final val b: kotlin.Double
+    public final val value: kotlin.String
+    public final val x: kotlin.reflect.KClass<*>
+    public final val x1: kotlin.reflect.KClass<*>
+    public final val x2: kotlin.reflect.KClass<*>
     public abstract fun a(): kotlin.Int
     public abstract fun b(): kotlin.Double
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/orderWithoutValue.txt

@@ -3,6 +3,11 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ b: kotlin.Double, /*1*/ x1: java.lang.Class<*>, /*2*/ a: kotlin.Int, /*3*/ x: java.lang.Class<*>, /*4*/ x2: java.lang.Class<*>)
     public constructor A(/*0*/ b: kotlin.Double, /*1*/ x1: kotlin.reflect.KClass<*>, /*2*/ a: kotlin.Int, /*3*/ x: kotlin.reflect.KClass<*>, /*4*/ x2: kotlin.reflect.KClass<*>)
+    public final val a: kotlin.Int
+    public final val b: kotlin.Double
+    public final val x: kotlin.reflect.KClass<*>
+    public final val x1: kotlin.reflect.KClass<*>
+    public final val x2: kotlin.reflect.KClass<*>
     public abstract fun a(): kotlin.Int
     public abstract fun b(): kotlin.Double
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/valueArray.txt

@@ -12,6 +12,9 @@ A(value = {"8", "9", "10"}: kotlin.Array<out kotlin.String>) internal fun test8(
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/, /*1*/ x: java.lang.Class<*> = ..., /*2*/ y: kotlin.Int)
     public constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/, /*1*/ x: kotlin.reflect.KClass<*> = ..., /*2*/ y: kotlin.Int)
+    public final val value: kotlin.Array<kotlin.String>
+    public final val x: kotlin.reflect.KClass<*>
+    public final val y: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/valueArrayAndOtherDefault.txt

@@ -15,6 +15,9 @@ A(value = {}: kotlin.Array<out kotlin.String>, x = kotlin.Any::class: kotlin.ref
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/, /*1*/ x: java.lang.Class<*> = ..., /*2*/ y: kotlin.Int = ...)
     public constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/, /*1*/ x: kotlin.reflect.KClass<*> = ..., /*2*/ y: kotlin.Int = ...)
+    public final val value: kotlin.Array<kotlin.String>
+    public final val x: kotlin.reflect.KClass<*>
+    public final val y: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/valueArrayAndOtherDefaultError.txt

@@ -5,6 +5,8 @@ A(x = javaClass<kotlin.Any>(): java.lang.Class<kotlin.Any>, y = "": kotlin.Strin
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ x: java.lang.Class<*> = ..., /*1*/ y: kotlin.Int)
     public constructor A(/*0*/ x: kotlin.reflect.KClass<*> = ..., /*1*/ y: kotlin.Int)
+    public final val x: kotlin.reflect.KClass<*>
+    public final val y: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/valueArrayOnly.txt

@@ -8,6 +8,7 @@ A(value = {}: kotlin.Array<out kotlin.String>) internal fun test5(): kotlin.Unit
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/)
+    public final val value: kotlin.Array<kotlin.String>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/valueArrayWithDefault.txt

@@ -8,6 +8,7 @@ A() internal fun test5(): kotlin.Unit
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/ = ...)
+    public final val value: kotlin.Array<kotlin.String>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationWithVarargParameter/javaAnnotationWithVarargArgument.txt

@@ -4,6 +4,7 @@ A(value = {IntegerValueType(1), "b"}: kotlin.Array<???>) internal fun test(): ko
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/)
+    public final val value: kotlin.Array<kotlin.String>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/annotationAsArgument.txt

@@ -3,6 +3,9 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*> = ..., /*1*/ x: kotlin.Int = ..., /*2*/ b: B)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*> = ..., /*1*/ x: kotlin.Int = ..., /*2*/ b: B)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val b: B
+    public final val x: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public abstract fun b(): B
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@@ -14,6 +17,8 @@ public final annotation class A : kotlin.Annotation {
 public final annotation class B : kotlin.Annotation {
     public /*synthesized*/ constructor B(/*0*/ arg: java.lang.Class<*> = ..., /*1*/ y: kotlin.Int = ...)
     public constructor B(/*0*/ arg: kotlin.reflect.KClass<*> = ..., /*1*/ y: kotlin.Int = ...)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val y: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/arg.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*>)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*>)
+    public final val arg: kotlin.reflect.KClass<*>
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/argAndOtherDefault.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*>, /*1*/ x: kotlin.Int = ...)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*>, /*1*/ x: kotlin.Int = ...)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/argArray.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: kotlin.Array<out java.lang.Class<*>>)
     public constructor A(/*0*/ arg: kotlin.Array<out kotlin.reflect.KClass<*>>)
+    public final val arg: kotlin.Array<kotlin.reflect.KClass<*>>
     public abstract fun arg(): kotlin.Array<kotlin.reflect.KClass<*>>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/argWithDefault.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*> = ...)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*> = ...)
+    public final val arg: kotlin.reflect.KClass<*>
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/argWithDefaultAndOther.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*> = ..., /*1*/ x: kotlin.Int)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*> = ..., /*1*/ x: kotlin.Int)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/twoArgs.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg1: java.lang.Class<*>, /*1*/ arg2: java.lang.Class<*>)
     public constructor A(/*0*/ arg1: kotlin.reflect.KClass<*>, /*1*/ arg2: kotlin.reflect.KClass<*>)
+    public final val arg1: kotlin.reflect.KClass<*>
+    public final val arg2: kotlin.reflect.KClass<*>
     public abstract fun arg1(): kotlin.reflect.KClass<*>
     public abstract fun arg2(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/value.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*>)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*>)
+    public final val value: kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/valueAndOtherDefault.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*>, /*1*/ x: kotlin.Int = ...)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*>, /*1*/ x: kotlin.Int = ...)
+    public final val value: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/valueArray.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ vararg value: java.lang.Class<*> /*kotlin.Array<out java.lang.Class<*>>*/)
     public constructor A(/*0*/ vararg value: kotlin.reflect.KClass<*> /*kotlin.Array<out kotlin.reflect.KClass<*>>*/)
+    public final val value: kotlin.Array<kotlin.reflect.KClass<*>>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/valueWithDefault.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*> = ...)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*> = ...)
+    public final val value: kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationsWithJavaLangClassParameterOverload/valueWithDefaultAndOther.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*> = ..., /*1*/ x: kotlin.Int)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*> = ..., /*1*/ x: kotlin.Int)
+    public final val value: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/annotationAsArgument.txt

@@ -3,6 +3,9 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*> = ..., /*1*/ x: kotlin.Int = ..., /*2*/ b: B)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*> = ..., /*1*/ x: kotlin.Int = ..., /*2*/ b: B)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val b: B
+    public final val x: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public abstract fun b(): B
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@@ -14,6 +17,8 @@ public final annotation class A : kotlin.Annotation {
 public final annotation class B : kotlin.Annotation {
     public /*synthesized*/ constructor B(/*0*/ arg: java.lang.Class<*> = ..., /*1*/ y: kotlin.Int = ...)
     public constructor B(/*0*/ arg: kotlin.reflect.KClass<*> = ..., /*1*/ y: kotlin.Int = ...)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val y: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/arg.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*>)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*>)
+    public final val arg: kotlin.reflect.KClass<*>
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/argAndOtherDefault.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*>, /*1*/ x: kotlin.Int = ...)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*>, /*1*/ x: kotlin.Int = ...)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/argArray.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: kotlin.Array<out java.lang.Class<*>>)
     public constructor A(/*0*/ arg: kotlin.Array<out kotlin.reflect.KClass<*>>)
+    public final val arg: kotlin.Array<kotlin.reflect.KClass<*>>
     public abstract fun arg(): kotlin.Array<kotlin.reflect.KClass<*>>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/argWithDefault.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*> = ...)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*> = ...)
+    public final val arg: kotlin.reflect.KClass<*>
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/argWithDefaultAndOther.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg: java.lang.Class<*> = ..., /*1*/ x: kotlin.Int)
     public constructor A(/*0*/ arg: kotlin.reflect.KClass<*> = ..., /*1*/ x: kotlin.Int)
+    public final val arg: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public abstract fun arg(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/twoArgs.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ arg1: java.lang.Class<*>, /*1*/ arg2: java.lang.Class<*>)
     public constructor A(/*0*/ arg1: kotlin.reflect.KClass<*>, /*1*/ arg2: kotlin.reflect.KClass<*>)
+    public final val arg1: kotlin.reflect.KClass<*>
+    public final val arg2: kotlin.reflect.KClass<*>
     public abstract fun arg1(): kotlin.reflect.KClass<*>
     public abstract fun arg2(): kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/value.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*>)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*>)
+    public final val value: kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/valueAndOtherDefault.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*>, /*1*/ x: kotlin.Int = ...)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*>, /*1*/ x: kotlin.Int = ...)
+    public final val value: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/valueArray.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ vararg value: java.lang.Class<*> /*kotlin.Array<out java.lang.Class<*>>*/)
     public constructor A(/*0*/ vararg value: kotlin.reflect.KClass<*> /*kotlin.Array<out kotlin.reflect.KClass<*>>*/)
+    public final val value: kotlin.Array<kotlin.reflect.KClass<*>>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/valueWithDefault.txt

@@ -3,6 +3,7 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*> = ...)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*> = ...)
+    public final val value: kotlin.reflect.KClass<*>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/javaAnnotationsWithKClassParameter/valueWithDefaultAndOther.txt

@@ -3,6 +3,8 @@ package
 public final annotation class A : kotlin.Annotation {
     public /*synthesized*/ constructor A(/*0*/ value: java.lang.Class<*> = ..., /*1*/ x: kotlin.Int)
     public constructor A(/*0*/ value: kotlin.reflect.KClass<*> = ..., /*1*/ x: kotlin.Int)
+    public final val value: kotlin.reflect.KClass<*>
+    public final val x: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String

compiler/testData/diagnostics/testsWithStdLib/annotations/prohibitPositionedArgument/tooManyArgs.txt

@@ -4,6 +4,9 @@ A(a = false: kotlin.Boolean, b = 1.0.toDouble(): kotlin.Double, x = false: kotli
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Double, /*2*/ x: kotlin.Boolean)
+    public final val a: kotlin.Int
+    public final val b: kotlin.Double
+    public final val x: kotlin.Boolean
     public abstract fun a(): kotlin.Int
     public abstract fun b(): kotlin.Double
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/prohibitPositionedArgument/typeMismatch.txt

@@ -5,6 +5,9 @@ A(a = 2.0.toDouble(): kotlin.Double, b = 2.0.toDouble(): kotlin.Double, x = true
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Double, /*2*/ x: kotlin.Boolean)
+    public final val a: kotlin.Int
+    public final val b: kotlin.Double
+    public final val x: kotlin.Boolean
     public abstract fun a(): kotlin.Int
     public abstract fun b(): kotlin.Double
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/prohibitPositionedArgument/withValue.txt

@@ -7,6 +7,10 @@ A(a = IntegerValueType(4): IntegerValueType(4), b = 3.0.toDouble(): kotlin.Doubl
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ value: kotlin.String, /*1*/ a: kotlin.Int, /*2*/ b: kotlin.Double, /*3*/ x: kotlin.Boolean)
+    public final val a: kotlin.Int
+    public final val b: kotlin.Double
+    public final val value: kotlin.String
+    public final val x: kotlin.Boolean
     public abstract fun a(): kotlin.Int
     public abstract fun b(): kotlin.Double
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/annotations/prohibitPositionedArgument/withoutValue.txt

@@ -6,6 +6,9 @@ A(a = IntegerValueType(4): IntegerValueType(4), b = 3.0.toDouble(): kotlin.Doubl
 
 public final annotation class A : kotlin.Annotation {
     public constructor A(/*0*/ a: kotlin.Int, /*1*/ b: kotlin.Double, /*2*/ x: kotlin.Boolean)
+    public final val a: kotlin.Int
+    public final val b: kotlin.Double
+    public final val x: kotlin.Boolean
     public abstract fun a(): kotlin.Int
     public abstract fun b(): kotlin.Double
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean

compiler/testData/loadJava/compiledJava/annotations/AnnotatedConstructor.txt

@@ -5,6 +5,7 @@ public open class AnnotatedConstructor {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedField.txt

@@ -6,6 +6,7 @@ public open class AnnotatedField {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 

compiler/testData/loadJava/compiledJava/annotations/AnnotatedMethod.txt

@@ -6,6 +6,7 @@ public open class AnnotatedMethod {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.Int)
+        public final val value: kotlin.Int
         public abstract fun value(): kotlin.Int
     }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedValueParameter.txt

@@ -6,6 +6,7 @@ public open class AnnotatedValueParameter {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotationInParam.txt

@@ -16,32 +16,39 @@ public trait AnnotationInParam {
 
     public final annotation class MyAnnotation : kotlin.Annotation {
         public constructor MyAnnotation(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 
     public final annotation class MyAnnotation2 : kotlin.Annotation {
         public constructor MyAnnotation2(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/)
+        public final val value: kotlin.Array<kotlin.String>
         public abstract fun value(): kotlin.Array<kotlin.String>
     }
 
     public final annotation class MyAnnotation3 : kotlin.Annotation {
         public constructor MyAnnotation3(/*0*/ first: kotlin.String, /*1*/ second: kotlin.String)
+        public final val first: kotlin.String
+        public final val second: kotlin.String
         public abstract fun first(): kotlin.String
         public abstract fun second(): kotlin.String
     }
 
     public final annotation class MyAnnotationWithParam : kotlin.Annotation {
         public constructor MyAnnotationWithParam(/*0*/ value: test.AnnotationInParam.MyAnnotation)
+        public final val value: test.AnnotationInParam.MyAnnotation
         public abstract fun value(): test.AnnotationInParam.MyAnnotation
     }
 
     public final annotation class MyAnnotationWithParam2 : kotlin.Annotation {
         public constructor MyAnnotationWithParam2(/*0*/ value: test.AnnotationInParam.MyAnnotation2)
+        public final val value: test.AnnotationInParam.MyAnnotation2
         public abstract fun value(): test.AnnotationInParam.MyAnnotation2
     }
 
     public final annotation class MyAnnotationWithParam3 : kotlin.Annotation {
         public constructor MyAnnotationWithParam3(/*0*/ value: test.AnnotationInParam.MyAnnotation3)
+        public final val value: test.AnnotationInParam.MyAnnotation3
         public abstract fun value(): test.AnnotationInParam.MyAnnotation3
     }
 }

compiler/testData/loadJava/compiledJava/annotations/ArithmeticExpressionInParam.txt

@@ -5,6 +5,7 @@ public open class ArithmeticExpressionInParam {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.Int)
+        public final val value: kotlin.Int
         public abstract fun value(): kotlin.Int
     }
 

compiler/testData/loadJava/compiledJava/annotations/ArrayOfEnumInParam.txt

@@ -4,6 +4,7 @@ public trait ArrayOfEnumInParam {
 
     java.lang.annotation.Target(value = {ElementType.FIELD, ElementType.CONSTRUCTOR}: kotlin.Array<out java.lang.annotation.ElementType>) public final annotation class targetAnnotation : kotlin.Annotation {
         public constructor targetAnnotation(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 }

compiler/testData/loadJava/compiledJava/annotations/ArrayOfStringInParam.txt

@@ -8,6 +8,7 @@ public trait ArrayOfStringInParam {
 
     public final annotation class MyAnnotation : kotlin.Annotation {
         public constructor MyAnnotation(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/)
+        public final val value: kotlin.Array<kotlin.String>
         public abstract fun value(): kotlin.Array<kotlin.String>
     }
 }

compiler/testData/loadJava/compiledJava/annotations/ClassObjectArrayInParam.txt

@@ -6,6 +6,7 @@ public open class ClassObjectArrayInParam {
     public final annotation class Anno : kotlin.Annotation {
         public /*synthesized*/ constructor Anno(/*0*/ vararg value: java.lang.Class<*> /*kotlin.Array<out java.lang.Class<*>>*/)
         public constructor Anno(/*0*/ vararg value: kotlin.reflect.KClass<*> /*kotlin.Array<out kotlin.reflect.KClass<*>>*/)
+        public final val value: kotlin.Array<kotlin.reflect.KClass<*>>
         public abstract fun value(): kotlin.Array<kotlin.reflect.KClass<*>>
     }
 

compiler/testData/loadJava/compiledJava/annotations/ClassObjectInParam.txt

@@ -6,6 +6,7 @@ public open class ClassObjectInParam {
     public final annotation class Anno : kotlin.Annotation {
         public /*synthesized*/ constructor Anno(/*0*/ value: java.lang.Class<*>)
         public constructor Anno(/*0*/ value: kotlin.reflect.KClass<*>)
+        public final val value: kotlin.reflect.KClass<*>
         public abstract fun value(): kotlin.reflect.KClass<*>
     }
 

compiler/testData/loadJava/compiledJava/annotations/ClassObjectInParamRaw.txt

@@ -6,6 +6,8 @@ public open class ClassObjectInParamRaw {
     public final annotation class Anno : kotlin.Annotation {
         public /*synthesized*/ constructor Anno(/*0*/ value: java.lang.Class<*>, /*1*/ arg: kotlin.Array<out java.lang.Class<*>>)
         public constructor Anno(/*0*/ value: kotlin.reflect.KClass<*>, /*1*/ arg: kotlin.Array<out kotlin.reflect.KClass<*>>)
+        public final val arg: kotlin.Array<kotlin.reflect.KClass<*>>
+        public final val value: kotlin.reflect.KClass<*>
         public abstract fun arg(): kotlin.Array<kotlin.reflect.KClass<*>>
         public abstract fun value(): kotlin.reflect.KClass<*>
     }

compiler/testData/loadJava/compiledJava/annotations/ClassObjectInParamVariance.txt

@@ -6,6 +6,14 @@ public open class ClassObjectInParamVariance {
     public final annotation class Anno : kotlin.Annotation {
         public /*synthesized*/ constructor Anno(/*0*/ arg1: java.lang.Class<out kotlin.Int!>, /*1*/ arg2: java.lang.Class<in kotlin.Int!>, /*2*/ arg3: kotlin.Array<out java.lang.Class<out kotlin.Int!>>, /*3*/ arg4: kotlin.Array<out java.lang.Class<in kotlin.Int!>>, /*4*/ arg5: kotlin.Array<out java.lang.Class<out java.lang.Class<*>!>>, /*5*/ arg6: kotlin.Array<out java.lang.Class<in java.lang.Class<*>!>>, /*6*/ arg7: kotlin.Array<out java.lang.Class<out java.lang.Class<kotlin.Int!>!>>, /*7*/ arg8: kotlin.Array<out java.lang.Class<in java.lang.Class<kotlin.Int!>!>>)
         public constructor Anno(/*0*/ arg1: kotlin.reflect.KClass<out kotlin.Int!>, /*1*/ arg2: kotlin.reflect.KClass<in kotlin.Int!>, /*2*/ arg3: kotlin.Array<out kotlin.reflect.KClass<out kotlin.Int!>>, /*3*/ arg4: kotlin.Array<out kotlin.reflect.KClass<in kotlin.Int!>>, /*4*/ arg5: kotlin.Array<out kotlin.reflect.KClass<out java.lang.Class<*>!>>, /*5*/ arg6: kotlin.Array<out kotlin.reflect.KClass<in java.lang.Class<*>!>>, /*6*/ arg7: kotlin.Array<out kotlin.reflect.KClass<out java.lang.Class<kotlin.Int!>!>>, /*7*/ arg8: kotlin.Array<out kotlin.reflect.KClass<in java.lang.Class<kotlin.Int!>!>>)
+        public final val arg1: kotlin.reflect.KClass<out kotlin.Int!>
+        public final val arg2: kotlin.reflect.KClass<in kotlin.Int!>
+        public final val arg3: kotlin.Array<kotlin.reflect.KClass<out kotlin.Int!>>
+        public final val arg4: kotlin.Array<kotlin.reflect.KClass<in kotlin.Int!>>
+        public final val arg5: kotlin.Array<kotlin.reflect.KClass<out java.lang.Class<*>!>>
+        public final val arg6: kotlin.Array<kotlin.reflect.KClass<in java.lang.Class<*>!>>
+        public final val arg7: kotlin.Array<kotlin.reflect.KClass<out java.lang.Class<kotlin.Int!>!>>
+        public final val arg8: kotlin.Array<kotlin.reflect.KClass<in java.lang.Class<kotlin.Int!>!>>
         public abstract fun arg1(): kotlin.reflect.KClass<out kotlin.Int!>
         public abstract fun arg2(): kotlin.reflect.KClass<in kotlin.Int!>
         public abstract fun arg3(): kotlin.Array<kotlin.reflect.KClass<out kotlin.Int!>>

compiler/testData/loadJava/compiledJava/annotations/CustomAnnotation.txt

@@ -4,6 +4,7 @@ public trait CustomAnnotation {
 
     public final annotation class MyAnnotation : kotlin.Annotation {
         public constructor MyAnnotation(/*0*/ value: test.CustomAnnotation.MyEnum)
+        public final val value: test.CustomAnnotation.MyEnum
         public abstract fun value(): test.CustomAnnotation.MyEnum
     }
 

compiler/testData/loadJava/compiledJava/annotations/CustomAnnotationWithDefaultParameter.txt

@@ -4,6 +4,8 @@ public trait CustomAnnotationWithDefaultParameter {
 
     public final annotation class MyAnnotation : kotlin.Annotation {
         public constructor MyAnnotation(/*0*/ first: kotlin.String, /*1*/ second: kotlin.String = ...)
+        public final val first: kotlin.String
+        public final val second: kotlin.String
         public abstract fun first(): kotlin.String
         public abstract fun second(): kotlin.String
     }

compiler/testData/loadJava/compiledJava/annotations/EmptyArrayInParam.txt

@@ -8,6 +8,7 @@ public trait EmptyArrayInParam {
 
     public final annotation class MyAnnotation : kotlin.Annotation {
         public constructor MyAnnotation(/*0*/ vararg value: kotlin.String /*kotlin.Array<out kotlin.String>*/)
+        public final val value: kotlin.Array<kotlin.String>
         public abstract fun value(): kotlin.Array<kotlin.String>
     }
 }

compiler/testData/loadJava/compiledJava/annotations/EnumArgumentWithCustomToString.txt

@@ -24,11 +24,13 @@ public open class EnumArgumentWithCustomToString {
 
     public final annotation class EnumAnno : kotlin.Annotation {
         public constructor EnumAnno(/*0*/ value: test.EnumArgumentWithCustomToString.E)
+        public final val value: test.EnumArgumentWithCustomToString.E
         public abstract fun value(): test.EnumArgumentWithCustomToString.E
     }
 
     public final annotation class EnumArrayAnno : kotlin.Annotation {
         public constructor EnumArrayAnno(/*0*/ vararg value: test.EnumArgumentWithCustomToString.E /*kotlin.Array<out test.EnumArgumentWithCustomToString.E>*/)
+        public final val value: kotlin.Array<test.EnumArgumentWithCustomToString.E>
         public abstract fun value(): kotlin.Array<test.EnumArgumentWithCustomToString.E>
     }
 }

compiler/testData/loadJava/compiledJava/annotations/EnumConstructorParameter.txt

@@ -16,6 +16,7 @@ public final enum class EnumConstructorParameter : kotlin.Enum<test.EnumConstruc
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 

compiler/testData/loadJava/compiledJava/annotations/EnumInParam.txt

@@ -4,11 +4,13 @@ public trait EnumInParam {
 
     public final annotation class MyRetention : kotlin.Annotation {
         public constructor MyRetention(/*0*/ value: java.lang.annotation.RetentionPolicy)
+        public final val value: java.lang.annotation.RetentionPolicy
         public abstract fun value(): java.lang.annotation.RetentionPolicy
     }
 
     test.EnumInParam.MyRetention(value = RetentionPolicy.RUNTIME: java.lang.annotation.RetentionPolicy) public final annotation class RetentionAnnotation : kotlin.Annotation {
         public constructor RetentionAnnotation(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 }

compiler/testData/loadJava/compiledJava/annotations/NestedEnumArgument.txt

@@ -6,6 +6,7 @@ public open class NestedEnumArgument {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: test.NestedEnumArgument.E)
+        public final val value: test.NestedEnumArgument.E
         public abstract fun value(): test.NestedEnumArgument.E
     }
 

compiler/testData/loadJava/compiledJava/annotations/PrimitiveValueInParam.txt

@@ -8,6 +8,12 @@ public trait PrimitiveValueInParam {
 
     public final annotation class Ann : kotlin.Annotation {
         public constructor Ann(/*0*/ i: kotlin.Int, /*1*/ l: kotlin.Long, /*2*/ d: kotlin.Double, /*3*/ f: kotlin.Float, /*4*/ bool: kotlin.Boolean, /*5*/ str: kotlin.String)
+        public final val bool: kotlin.Boolean
+        public final val d: kotlin.Double
+        public final val f: kotlin.Float
+        public final val i: kotlin.Int
+        public final val l: kotlin.Long
+        public final val str: kotlin.String
         public abstract fun bool(): kotlin.Boolean
         public abstract fun d(): kotlin.Double
         public abstract fun f(): kotlin.Float

compiler/testData/loadJava/compiledJava/annotations/RecursiveAnnotation.txt

@@ -4,11 +4,13 @@ public trait RecursiveAnnotation {
 
     test.RecursiveAnnotation.B(value = test.RecursiveAnnotation.A(value = "test": kotlin.String): test.RecursiveAnnotation.A) public final annotation class A : kotlin.Annotation {
         public constructor A(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 
     test.RecursiveAnnotation.B(value = test.RecursiveAnnotation.A(value = "test": kotlin.String): test.RecursiveAnnotation.A) public final annotation class B : kotlin.Annotation {
         public constructor B(/*0*/ value: test.RecursiveAnnotation.A)
+        public final val value: test.RecursiveAnnotation.A
         public abstract fun value(): test.RecursiveAnnotation.A
     }
 }

compiler/testData/loadJava/compiledJava/annotations/RecursiveAnnotation2.txt

@@ -4,11 +4,13 @@ public trait RecursiveAnnotation2 {
 
     public final annotation class A : kotlin.Annotation {
         public constructor A(/*0*/ value: test.RecursiveAnnotation2.B)
+        public final val value: test.RecursiveAnnotation2.B
         public abstract fun value(): test.RecursiveAnnotation2.B
     }
 
     test.RecursiveAnnotation2.A(value = test.RecursiveAnnotation2.B(value = "test": kotlin.String): test.RecursiveAnnotation2.B) public final annotation class B : kotlin.Annotation {
         public constructor B(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 }

compiler/testData/loadJava/compiledJava/annotations/StringConcatenationInParam.txt

@@ -4,6 +4,7 @@ public trait StringConcatenationInParam {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 

compiler/testData/loadJava/compiledJava/annotations/StringConstantInParam.txt

@@ -4,6 +4,7 @@ public trait StringConstantInParam {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 

compiler/testData/loadJava/compiledJava/annotations/StringInParam.txt

@@ -4,6 +4,7 @@ public trait StringInParam {
 
     public final annotation class Anno : kotlin.Annotation {
         public constructor Anno(/*0*/ value: kotlin.String)
+        public final val value: kotlin.String
         public abstract fun value(): kotlin.String
     }
 

compiler/testData/loadJava/sourceJava/NullInAnnotation.txt

@@ -7,6 +7,8 @@ public trait NullInAnnotation {
 
     public final annotation class Ann : kotlin.Annotation {
         public constructor Ann(/*0*/ a: kotlin.String, /*1*/ b: kotlin.Array<out kotlin.String>)
+        public final val a: kotlin.String
+        public final val b: kotlin.Array<kotlin.String>
         public abstract fun a(): kotlin.String
         public abstract fun b(): kotlin.Array<kotlin.String>
     }