[NI-MIGRATE] Update test data for resolve tests after enabling NI

This commit is contained in:
Mikhail Zarechenskiy
2020-02-05 13:52:37 +03:00
parent 17df92e999
commit 687c96060f
44 changed files with 48 additions and 12 deletions
@@ -16,4 +16,4 @@ Extension receiver = NO_RECEIVER
Value arguments mapping:
MATCH_MODULO_UNINFERRED_TYPES f : () -> ??? = { b }
SUCCESS f : () -> ??? = { b }
@@ -16,4 +16,4 @@ Extension receiver = NO_RECEIVER
Value arguments mapping:
MATCH_MODULO_UNINFERRED_TYPES f : (???) -> String = { x -> "$x"}
SUCCESS f : (???) -> String = { x -> "$x"}
@@ -7,6 +7,7 @@ fun test() {
Resolved call:
Candidate descriptor: fun foo(f: (Int) -> String): Unit defined in root package
Resulting descriptor: fun foo(f: (Int) -> String): Unit defined in root package
Explicit receiver kind = NO_EXPLICIT_RECEIVER
@@ -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: Any, l: List<Any>): Unit defined in root package
Resulting descriptor: fun <T> foo(t: {Comparable<{Int & String}> & java.io.Serializable}, l: List<{Comparable<{Int & String}> & java.io.Serializable}>): 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 : Any = 11
SUCCESS l : List<Any> = ls
SUCCESS t : {Comparable<{Int & String}> & java.io.Serializable} = 11
SUCCESS l : List<{Comparable<{Int & String}> & java.io.Serializable}> = ls
@@ -10,7 +10,7 @@ fun test(ls: MutableList<String>) {
Resolved call:
Candidate descriptor: fun <T> foo(t: T, l: MutableList<T>): Unit defined in root package
Resulting descriptor: fun <T> foo(t: ???, l: MutableList<???>): Unit defined in root package
Resulting descriptor: fun <T> foo(t: String, l: MutableList<String>): 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:
MATCH_MODULO_UNINFERRED_TYPES t : ??? = 11
MATCH_MODULO_UNINFERRED_TYPES l : MutableList<???> = ls
SUCCESS t : String = 11
TYPE_MISMATCH l : MutableList<String> = ls
@@ -17,4 +17,4 @@ Extension receiver = NO_RECEIVER
Value arguments mapping:
ARGUMENT_HAS_NO_TYPE a : A = b
SUCCESS a : A = b
@@ -20,4 +20,4 @@ Extension receiver = NO_RECEIVER
Value arguments mapping:
MATCH_MODULO_UNINFERRED_TYPES t : ??? = someList()
SUCCESS t : ??? = someList()
@@ -20,4 +20,4 @@ Extension receiver = NO_RECEIVER
Value arguments mapping:
MATCH_MODULO_UNINFERRED_TYPES t : ??? = someList()
SUCCESS t : ??? = someList()