[Tests] Add tests for other checkers having same problem with

...nested classes marching.

^KT-31636

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java

@@ -24219,6 +24219,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                     runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/kotlinAnaloguesForJavaAnnotations.kt");
                 }
 
+                @Test
+                @TestMetadata("nestedAnnotationClassViaActualTypeAlias.kt")
+                public void testNestedAnnotationClassViaActualTypeAlias() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.kt");
+                }
+
                 @Test
                 @TestMetadata("repeatableNoArg.kt")
                 public void testRepeatableNoArg() throws Exception {
@@ -24777,6 +24783,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                     runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationArgumentEquality.kt");
                 }
 
+                @Test
+                @TestMetadata("annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt")
+                public void testAnnotationDefaultArgKclassWithNestedClassViaActualTypeAlias() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt");
+                }
+
                 @Test
                 @TestMetadata("annotations.kt")
                 public void testAnnotations() throws Exception {

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java

@@ -24219,6 +24219,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                     runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/kotlinAnaloguesForJavaAnnotations.kt");
                 }
 
+                @Test
+                @TestMetadata("nestedAnnotationClassViaActualTypeAlias.kt")
+                public void testNestedAnnotationClassViaActualTypeAlias() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.kt");
+                }
+
                 @Test
                 @TestMetadata("repeatableNoArg.kt")
                 public void testRepeatableNoArg() throws Exception {
@@ -24777,6 +24783,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                     runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationArgumentEquality.kt");
                 }
 
+                @Test
+                @TestMetadata("annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt")
+                public void testAnnotationDefaultArgKclassWithNestedClassViaActualTypeAlias() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt");
+                }
+
                 @Test
                 @TestMetadata("annotations.kt")
                 public void testAnnotations() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendMPPDiagnosticsWithLightTreeTestGenerated.java

@@ -580,6 +580,12 @@ public class FirOldFrontendMPPDiagnosticsWithLightTreeTestGenerated extends Abst
             runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/kotlinAnaloguesForJavaAnnotations.kt");
         }
 
+        @Test
+        @TestMetadata("nestedAnnotationClassViaActualTypeAlias.kt")
+        public void testNestedAnnotationClassViaActualTypeAlias() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.kt");
+        }
+
         @Test
         @TestMetadata("repeatableNoArg.kt")
         public void testRepeatableNoArg() throws Exception {
@@ -1138,6 +1144,12 @@ public class FirOldFrontendMPPDiagnosticsWithLightTreeTestGenerated extends Abst
             runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationArgumentEquality.kt");
         }
 
+        @Test
+        @TestMetadata("annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt")
+        public void testAnnotationDefaultArgKclassWithNestedClassViaActualTypeAlias() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt");
+        }
+
         @Test
         @TestMetadata("annotations.kt")
         public void testAnnotations() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendMPPDiagnosticsWithPsiTestGenerated.java

@@ -580,6 +580,12 @@ public class FirOldFrontendMPPDiagnosticsWithPsiTestGenerated extends AbstractFi
             runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/kotlinAnaloguesForJavaAnnotations.kt");
         }
 
+        @Test
+        @TestMetadata("nestedAnnotationClassViaActualTypeAlias.kt")
+        public void testNestedAnnotationClassViaActualTypeAlias() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.kt");
+        }
+
         @Test
         @TestMetadata("repeatableNoArg.kt")
         public void testRepeatableNoArg() throws Exception {
@@ -1138,6 +1144,12 @@ public class FirOldFrontendMPPDiagnosticsWithPsiTestGenerated extends AbstractFi
             runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationArgumentEquality.kt");
         }
 
+        @Test
+        @TestMetadata("annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt")
+        public void testAnnotationDefaultArgKclassWithNestedClassViaActualTypeAlias() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt");
+        }
+
         @Test
         @TestMetadata("annotations.kt")
         public void testAnnotations() throws Exception {

compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.fir.kt

@@ -0,0 +1,20 @@
+// MODULE: m1-common
+// FILE: common.kt
+
+expect annotation class Ann() {
+    annotation class Nested()
+}
+
+@Ann.Nested
+expect fun foo()
+
+// MODULE: m1-jvm()()(m1-common)
+// FILE: jvm.kt
+annotation class AnnImpl {
+    annotation class Nested
+}
+
+actual typealias <!NO_ACTUAL_CLASS_MEMBER_FOR_EXPECTED_CLASS!>Ann<!> = AnnImpl
+
+<!ACTUAL_ANNOTATIONS_NOT_MATCH_EXPECT!>@AnnImpl.Nested
+actual fun <!ACTUAL_ANNOTATIONS_NOT_MATCH_EXPECT!>foo<!>() {}<!>

compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.kt

@@ -0,0 +1,20 @@
+// MODULE: m1-common
+// FILE: common.kt
+
+expect annotation class Ann() {
+    annotation class Nested()
+}
+
+@Ann.<!UNRESOLVED_REFERENCE{JVM}!>Nested<!>
+expect fun foo()
+
+// MODULE: m1-jvm()()(m1-common)
+// FILE: jvm.kt
+annotation class AnnImpl {
+    annotation class Nested
+}
+
+actual typealias <!NO_ACTUAL_CLASS_MEMBER_FOR_EXPECTED_CLASS!>Ann<!> = AnnImpl
+
+@AnnImpl.Nested
+actual fun foo() {}

compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.ll.kt

@@ -0,0 +1,20 @@
+// MODULE: m1-common
+// FILE: common.kt
+
+expect annotation class Ann() {
+    annotation class Nested()
+}
+
+@Ann.Nested
+expect fun foo()
+
+// MODULE: m1-jvm()()(m1-common)
+// FILE: jvm.kt
+annotation class AnnImpl {
+    annotation class Nested
+}
+
+actual typealias <!NO_ACTUAL_CLASS_MEMBER_FOR_EXPECTED_CLASS!>Ann<!> = AnnImpl
+
+@AnnImpl.Nested
+actual fun <!ACTUAL_ANNOTATIONS_NOT_MATCH_EXPECT!>foo<!>() {}

compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.fir.kt

@@ -0,0 +1,27 @@
+// MODULE: m1-common
+// FILE: common.kt
+
+import kotlin.reflect.KClass
+
+expect annotation class Ann(
+    val p: KClass<*> = Foo.Nested::class
+)
+
+expect class Foo {
+    class Nested
+}
+
+// MODULE: m2-jvm()()(m1-common)
+// FILE: jvm.kt
+
+import kotlin.reflect.KClass
+
+class FooImpl {
+    class Nested
+}
+
+actual typealias Foo = FooImpl
+
+actual annotation class Ann(
+    actual val p: KClass<*> = <!ACTUAL_ANNOTATION_CONFLICTING_DEFAULT_ARGUMENT_VALUE!>FooImpl.Nested::class<!>
+)

compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt

@@ -0,0 +1,27 @@
+// MODULE: m1-common
+// FILE: common.kt
+
+import kotlin.reflect.KClass
+
+expect annotation class Ann(
+    val p: KClass<*> = <!ANNOTATION_PARAMETER_DEFAULT_VALUE_MUST_BE_CONSTANT{JVM}!>Foo.<!UNRESOLVED_REFERENCE{JVM}!>Nested<!>::class<!>
+)
+
+expect class Foo {
+    class Nested
+}
+
+// MODULE: m2-jvm()()(m1-common)
+// FILE: jvm.kt
+
+import kotlin.reflect.KClass
+
+class FooImpl {
+    class Nested
+}
+
+actual typealias Foo = FooImpl
+
+actual annotation class Ann(
+    actual val p: KClass<*> = <!ACTUAL_ANNOTATION_CONFLICTING_DEFAULT_ARGUMENT_VALUE!>FooImpl.Nested::class<!>
+)

compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.ll.kt

@@ -0,0 +1,27 @@
+// MODULE: m1-common
+// FILE: common.kt
+
+import kotlin.reflect.KClass
+
+expect annotation class Ann(
+    val p: KClass<*> = Foo.Nested::class
+)
+
+expect class Foo {
+    class Nested
+}
+
+// MODULE: m2-jvm()()(m1-common)
+// FILE: jvm.kt
+
+import kotlin.reflect.KClass
+
+class FooImpl {
+    class Nested
+}
+
+actual typealias Foo = FooImpl
+
+actual annotation class Ann(
+    actual val p: KClass<*> = FooImpl.Nested::class
+)

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -24219,6 +24219,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                     runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/kotlinAnaloguesForJavaAnnotations.kt");
                 }
 
+                @Test
+                @TestMetadata("nestedAnnotationClassViaActualTypeAlias.kt")
+                public void testNestedAnnotationClassViaActualTypeAlias() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/multiplatform/actualAnnotationsNotMatchExpect/nestedAnnotationClassViaActualTypeAlias.kt");
+                }
+
                 @Test
                 @TestMetadata("repeatableNoArg.kt")
                 public void testRepeatableNoArg() throws Exception {
@@ -24777,6 +24783,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                     runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationArgumentEquality.kt");
                 }
 
+                @Test
+                @TestMetadata("annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt")
+                public void testAnnotationDefaultArgKclassWithNestedClassViaActualTypeAlias() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/multiplatform/defaultArguments/annotationDefaultArgKclassWithNestedClassViaActualTypeAlias.kt");
+                }
+
                 @Test
                 @TestMetadata("annotations.kt")
                 public void testAnnotations() throws Exception {