Merged LoadCompiledKotlin test int LoadJavaTest.

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/Class.kt

@@ -0,0 +1,8 @@
+package test
+
+annotation class Anno
+
+class Class {
+    [Anno] val property: Int
+        get() = 42
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/Class.txt

@@ -0,0 +1,11 @@
+package test
+
+internal final annotation class Anno : jet.Annotation {
+    /*primary*/ public constructor Anno()
+}
+
+internal final class Class {
+    /*primary*/ public constructor Class()
+    test.Anno() internal final val property: jet.Int
+        internal final fun <get-property>(): jet.Int
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/ClassObject.kt

@@ -0,0 +1,10 @@
+package test
+
+annotation class Anno
+
+class Class {
+    class object {
+        [Anno] val property: Int
+            get() = 42
+    }
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/ClassObject.txt

@@ -0,0 +1,15 @@
+package test
+
+internal final annotation class Anno : jet.Annotation {
+    /*primary*/ public constructor Anno()
+}
+
+internal final class Class {
+    /*primary*/ public constructor Class()
+    
+    internal class object <class-object-for-Class> {
+        /*primary*/ private constructor <class-object-for-Class>()
+        test.Anno() internal final val property: jet.Int
+            internal final fun <get-property>(): jet.Int
+    }
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/ExtensionsWithSameNameClass.kt

@@ -0,0 +1,16 @@
+package test
+
+annotation class IntAnno
+annotation class StringAnno
+annotation class DoubleAnno
+
+class Class {
+    [IntAnno] val Int.extension: Int
+        get() = this
+
+    [StringAnno] val String.extension: String
+        get() = this
+
+    [DoubleAnno] val Double.extension: Int
+        get() = 42
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/ExtensionsWithSameNameClass.txt

@@ -0,0 +1,23 @@
+package test
+
+internal final class Class {
+    /*primary*/ public constructor Class()
+    test.DoubleAnno() internal final val jet.Double.extension: jet.Int
+        internal final fun jet.Double.<get-extension>(): jet.Int
+    test.IntAnno() internal final val jet.Int.extension: jet.Int
+        internal final fun jet.Int.<get-extension>(): jet.Int
+    test.StringAnno() internal final val jet.String.extension: jet.String
+        internal final fun jet.String.<get-extension>(): jet.String
+}
+
+internal final annotation class DoubleAnno : jet.Annotation {
+    /*primary*/ public constructor DoubleAnno()
+}
+
+internal final annotation class IntAnno : jet.Annotation {
+    /*primary*/ public constructor IntAnno()
+}
+
+internal final annotation class StringAnno : jet.Annotation {
+    /*primary*/ public constructor StringAnno()
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/ExtensionsWithSameNamePackage.kt

@@ -0,0 +1,14 @@
+package test
+
+annotation class IntAnno
+annotation class StringAnno
+annotation class DoubleAnno
+
+[IntAnno] val Int.extension: Int
+    get() = this
+
+[StringAnno] val String.extension: String
+    get() = this
+
+[DoubleAnno] val Double.extension: Int
+    get() = 42

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/ExtensionsWithSameNamePackage.txt

@@ -0,0 +1,20 @@
+package test
+
+test.DoubleAnno() internal val jet.Double.extension: jet.Int
+    internal fun jet.Double.<get-extension>(): jet.Int
+test.IntAnno() internal val jet.Int.extension: jet.Int
+    internal fun jet.Int.<get-extension>(): jet.Int
+test.StringAnno() internal val jet.String.extension: jet.String
+    internal fun jet.String.<get-extension>(): jet.String
+
+internal final annotation class DoubleAnno : jet.Annotation {
+    /*primary*/ public constructor DoubleAnno()
+}
+
+internal final annotation class IntAnno : jet.Annotation {
+    /*primary*/ public constructor IntAnno()
+}
+
+internal final annotation class StringAnno : jet.Annotation {
+    /*primary*/ public constructor StringAnno()
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/NestedTrait.kt

@@ -0,0 +1,9 @@
+package test
+
+annotation class Anno
+
+class Class {
+    trait Trait {
+        [Anno] val property: Int
+    }
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/NestedTrait.txt

@@ -0,0 +1,14 @@
+package test
+
+internal final annotation class Anno : jet.Annotation {
+    /*primary*/ public constructor Anno()
+}
+
+internal final class Class {
+    /*primary*/ public constructor Class()
+    
+    internal trait Trait {
+        test.Anno() internal abstract val property: jet.Int
+            internal abstract fun <get-property>(): jet.Int
+    }
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/TopLevel.kt

@@ -0,0 +1,6 @@
+package test
+
+annotation class Anno
+
+[Anno] val property: Int
+    get() = 42

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/TopLevel.txt

@@ -0,0 +1,8 @@
+package test
+
+test.Anno() internal val property: jet.Int
+    internal fun <get-property>(): jet.Int
+
+internal final annotation class Anno : jet.Annotation {
+    /*primary*/ public constructor Anno()
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/Trait.kt

@@ -0,0 +1,7 @@
+package test
+
+annotation class Anno
+
+trait Trait {
+    [Anno] val property: Int
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/Trait.txt

@@ -0,0 +1,10 @@
+package test
+
+internal final annotation class Anno : jet.Annotation {
+    /*primary*/ public constructor Anno()
+}
+
+internal trait Trait {
+    test.Anno() internal abstract val property: jet.Int
+        internal abstract fun <get-property>(): jet.Int
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/TraitClassObject.kt

@@ -0,0 +1,10 @@
+package test
+
+annotation class Anno
+
+trait Trait {
+    class object {
+        [Anno] val property: Int
+            get() = 42
+    }
+}

compiler/testData/loadJava/compiledKotlin/annotations/propertiesWithoutBackingFields/TraitClassObject.txt

@@ -0,0 +1,14 @@
+package test
+
+internal final annotation class Anno : jet.Annotation {
+    /*primary*/ public constructor Anno()
+}
+
+internal trait Trait {
+    
+    internal class object <class-object-for-Trait> {
+        /*primary*/ private constructor <class-object-for-Trait>()
+        test.Anno() internal final val property: jet.Int
+            internal final fun <get-property>(): jet.Int
+    }
+}