FE: add test for KT-47473

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

@@ -39181,6 +39181,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
             public void testTypeAliasSamAdapterConstructors2() throws Exception {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/typeAliasSamAdapterConstructors2.kt");
             }
+
+            @Test
+            @TestMetadata("upperBoundViolated.kt")
+            public void testUpperBoundViolated() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.kt");
+            }
         }
 
         @Nested

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

@@ -39245,6 +39245,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
             public void testTypeAliasSamAdapterConstructors2() throws Exception {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/typeAliasSamAdapterConstructors2.kt");
             }
+
+            @Test
+            @TestMetadata("upperBoundViolated.kt")
+            public void testUpperBoundViolated() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.kt");
+            }
         }
 
         @Nested

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

@@ -39245,6 +39245,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
             public void testTypeAliasSamAdapterConstructors2() throws Exception {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/typeAliasSamAdapterConstructors2.kt");
             }
+
+            @Test
+            @TestMetadata("upperBoundViolated.kt")
+            public void testUpperBoundViolated() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.kt");
+            }
         }
 
         @Nested

compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.fir.kt

@@ -0,0 +1,10 @@
+class NumColl<T : Collection<Number>>
+typealias NumList<T2> = NumColl<List<T2>>
+typealias AliasOfNumList<A3> = NumList<A3>
+
+val falseUpperBoundViolation = AliasOfNumList<Int>() // Shouldn't be error
+val missedUpperBoundViolation = <!UPPER_BOUND_VIOLATED!>NumList<Any>()<!>  // Should be error
+
+class Base<T : List<CharSequence>>
+typealias Alias<T> = Base<List<T>>
+val a = <!UPPER_BOUND_VIOLATED!>Alias<Any>()<!> // Also should be error

compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.kt

@@ -0,0 +1,10 @@
+class NumColl<T : Collection<Number>>
+typealias NumList<T2> = NumColl<List<T2>>
+typealias AliasOfNumList<A3> = NumList<A3>
+
+val falseUpperBoundViolation = AliasOfNumList<<!UPPER_BOUND_VIOLATED!>Int<!>>() // Shouldn't be error
+val missedUpperBoundViolation = NumList<Any>()  // Should be error
+
+class Base<T : List<CharSequence>>
+typealias Alias<T> = Base<List<T>>
+val a = Alias<Any>() // Also should be error

compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.txt

@@ -0,0 +1,22 @@
+package
+
+public val a: Alias<kotlin.Any> /* = Base<kotlin.collections.List<kotlin.Any>> */
+public val falseUpperBoundViolation: AliasOfNumList<kotlin.Int> /* = NumColl<kotlin.collections.List<kotlin.Int>> */
+public val missedUpperBoundViolation: NumList<kotlin.Any> /* = NumColl<kotlin.collections.List<kotlin.Any>> */
+
+public final class Base</*0*/ T : kotlin.collections.List<kotlin.CharSequence>> {
+    public constructor Base</*0*/ T : kotlin.collections.List<kotlin.CharSequence>>()
+    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
+}
+
+public final class NumColl</*0*/ T : kotlin.collections.Collection<kotlin.Number>> {
+    public constructor NumColl</*0*/ T : kotlin.collections.Collection<kotlin.Number>>()
+    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
+}
+public typealias Alias</*0*/ T> = Base<kotlin.collections.List<T>>
+public typealias AliasOfNumList</*0*/ A3> = NumList<A3>
+public typealias NumList</*0*/ T2> = NumColl<kotlin.collections.List<T2>>

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

@@ -39335,6 +39335,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
             public void testTypeAliasSamAdapterConstructors2() throws Exception {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/typeAliasSamAdapterConstructors2.kt");
             }
+
+            @Test
+            @TestMetadata("upperBoundViolated.kt")
+            public void testUpperBoundViolated() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/typealias/upperBoundViolated.kt");
+            }
         }
 
         @Nested