diff --git a/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.kt b/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.kt
index df564a93c63..5a111b724b6 100644
--- a/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.kt
+++ b/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.kt
@@ -6,7 +6,8 @@ class NumColl<T : Collection<Number>>
 class TColl<T, C : Collection<T>>
 
 typealias NA<T> = Num<T>
-typealias NL<T> = NumColl<List<T>>
+typealias NL<T2> = NumColl<List<T2>>
+typealias MMMM<A3> = NL<A3>
 typealias TC<T1, T2> = TColl<T1, T2>
 
 fun test1(x: NA<Int>) {}
@@ -17,7 +18,8 @@ fun test4(x: <!UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>NL<Any><!>) {}
 val test5 = NA<Int>()
 val test6 = NA<<!UPPER_BOUND_VIOLATED!>Any<!>>()
 val test7 = NL<Int>()
-val test8 = <!OI;UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>NL<Any>()<!>
+val test8 = MMMM<<!NI;UPPER_BOUND_VIOLATED!>Int<!>>()
+val test9dwd = <!OI;UPPER_BOUND_VIOLATED_IN_TYPEALIAS_EXPANSION!>NL<Any>()<!>
 
 fun test9(x: TC<Number, Collection<Number>>) {}
 fun test10(x: TC<Number, Collection<Int>>) {}
diff --git a/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.txt b/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.txt
index 1c3143a1a67..491778beb3c 100644
--- a/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.txt
+++ b/compiler/testData/diagnostics/tests/typealias/boundsViolationInTypeAliasExpansion.txt
@@ -7,7 +7,8 @@ public val test16: TC<kotlin.Number, kotlin.collections.List<kotlin.Any>> /* = T
 public val test5: NA<kotlin.Int> /* = Num<kotlin.Int> */
 public val test6: NA<kotlin.Any> /* = Num<kotlin.Any> */
 public val test7: NL<kotlin.Int> /* = NumColl<kotlin.collections.List<kotlin.Int>> */
-public val test8: NL<kotlin.Any> /* = NumColl<kotlin.collections.List<kotlin.Any>> */
+public val test8: MMMM<kotlin.Int> /* = NumColl<kotlin.collections.List<kotlin.Int>> */
+public val test9dwd: NL<kotlin.Any> /* = NumColl<kotlin.collections.List<kotlin.Any>> */
 public fun test1(/*0*/ x: NA<kotlin.Int> /* = Num<kotlin.Int> */): kotlin.Unit
 public fun test10(/*0*/ x: TC<kotlin.Number, kotlin.collections.Collection<kotlin.Int>> /* = TColl<kotlin.Number, kotlin.collections.Collection<kotlin.Int>> */): kotlin.Unit
 public fun test11(/*0*/ x: TC<kotlin.Number, kotlin.collections.List<kotlin.Int>> /* = TColl<kotlin.Number, kotlin.collections.List<kotlin.Int>> */): kotlin.Unit
@@ -37,6 +38,7 @@ public final class TColl</*0*/ T, /*1*/ C : kotlin.collections.Collection<T>> {
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
 }
+public typealias MMMM</*0*/ A3> = NL<A3>
 public typealias NA</*0*/ T> = Num<T>
-public typealias NL</*0*/ T> = NumColl<kotlin.collections.List<T>>
+public typealias NL</*0*/ T2> = NumColl<kotlin.collections.List<T2>>
 public typealias TC</*0*/ T1, /*1*/ T2> = TColl<T1, T2>