Test data adjustment: Resolved calls and constraint system test

This commit is contained in:
Pavel V. Talanov
2015-09-28 19:18:54 +03:00
parent 41c0895abb
commit bc8449a70c
2 changed files with 4 additions and 4 deletions
@@ -18,4 +18,4 @@ status:
-isSuccessful: true
result:
T=Comparable<out Any?>
T=Any
@@ -10,7 +10,7 @@ fun test(a: Any, ls: List<String>) {
Resolved call:
Candidate descriptor: fun <T> foo(t: T, l: List<T>): Unit defined in root package
Resulting descriptor: fun <T> foo(t: Comparable<out Any?>, l: List<Comparable<out Any?>>): Unit defined in root package
Resulting descriptor: fun <T> foo(t: Any, l: List<Any>): Unit defined in root package
Explicit receiver kind = NO_EXPLICIT_RECEIVER
Dispatch receiver = NO_RECEIVER
@@ -18,5 +18,5 @@ Extension receiver = NO_RECEIVER
Value arguments mapping:
SUCCESS t : Comparable<out Any?> = 11
SUCCESS l : List<Comparable<out Any?>> = ls
SUCCESS t : Any = 11
SUCCESS l : List<Any> = ls