azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Additional tests for illegal type in type alias expansion:

Browse Source 
'Array<Nothing>' passed as an unused parameter to type alias.
This commit is contained in:
Dmitry Petrov
2016-06-10 12:04:57 +03:00
parent 115f40d371
commit 7da50069eb
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.kt
Vendored
+6
View File
@@ -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
compiler/testData/diagnostics/tests/typealias/illegalTypeInTypeAliasExpansion.txt
Vendored
+4
View File
@@ -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>>