diff --git a/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.kt b/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.kt
index e2725ad5c3c..09eb1165aca 100644
--- a/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.kt
+++ b/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.kt
@@ -4,3 +4,9 @@ typealias AA<T> = A<A<T>>
 typealias AN = <!TYPEALIAS_EXPANDED_TO_MALFORMED_TYPE!>A<Nothing><!>
 
 typealias AAN = <!TYPEALIAS_EXPANDED_TO_MALFORMED_TYPE!>AA<Nothing><!>
+
+typealias AAN2 = <!TYPEALIAS_EXPANDED_TO_MALFORMED_TYPE!>A<A<Nothing>><!>
+
+typealias First<X, <!UNUSED_TYPEALIAS_PARAMETER!>Y<!>> = List<X>
+typealias UnusedAN1 = First<Int, <!UNSUPPORTED!>Array<Nothing><!>>
+typealias UnusedAN2 = First<Int, A<Nothing>> // TODO
diff --git a/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.txt b/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.txt
index dbe6824d71d..fe979c28db3 100644
--- a/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.txt
+++ b/compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.txt
@@ -3,4 +3,8 @@ package
 public typealias A</*0*/ T>  = kotlin.Array<T>
 public typealias AA</*0*/ T>  = A<A<T>>
 public typealias AAN = AA<kotlin.Nothing>
+public typealias AAN2 = A<A<kotlin.Nothing>>
 public typealias AN = A<kotlin.Nothing>
+public typealias First</*0*/ X, /*1*/ Y>  = kotlin.collections.List<X>
+public typealias UnusedAN1 = First<kotlin.Int, kotlin.Array<kotlin.Nothing>>
+public typealias UnusedAN2 = First<kotlin.Int, A<kotlin.Nothing>>