From 7da50069eb68e3e3241814e4f5af07f2a6322e32 Mon Sep 17 00:00:00 2001
From: Dmitry Petrov <Dmitry.Petrov@jetbrains.com>
Date: Fri, 10 Jun 2016 12:04:57 +0300
Subject: [PATCH] Additional tests for illegal type in type alias expansion:
 'Array<Nothing>' passed as an unused parameter to type alias.

---
 .../tests/typealias/illegalTypeInTypeAliasExpansion.kt      | 6 ++++++
 .../tests/typealias/illegalTypeInTypeAliasExpansion.txt     | 4 ++++
 2 files changed, 10 insertions(+)

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>>