test data updated
arguments analyzed even if there's type inference error
This commit is contained in:
@@ -39,10 +39,10 @@ fun main(args : Array<String>) {
|
|||||||
|
|
||||||
joinG(1, "2")
|
joinG(1, "2")
|
||||||
joinG(<!NON_VARARG_SPREAD!>*<!>1, "2")
|
joinG(<!NON_VARARG_SPREAD!>*<!>1, "2")
|
||||||
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>joinG<!>(1, *"2")
|
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>joinG<!>(1, *<!TYPE_MISMATCH!>"2"<!>)
|
||||||
joinG(x = 1, a = *a)
|
joinG(x = 1, a = *a)
|
||||||
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>joinG<!>(x = 1, a = "2")
|
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>joinG<!>(x = 1, a = <!TYPE_MISMATCH!>"2"<!>)
|
||||||
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>joinG<!>(x = <!NON_VARARG_SPREAD!>*<!>1, a = *"2")
|
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>joinG<!>(x = <!NON_VARARG_SPREAD!>*<!>1, a = *<!TYPE_MISMATCH!>"2"<!>)
|
||||||
joinG(1, *a)
|
joinG(1, *a)
|
||||||
joinG(1, *a, "3")
|
joinG(1, *a, "3")
|
||||||
joinG(1, "4", *a, "3")
|
joinG(1, "4", *a, "3")
|
||||||
|
|||||||
@@ -4,9 +4,9 @@ package typeConstructorMismatch
|
|||||||
import java.util.*
|
import java.util.*
|
||||||
|
|
||||||
fun test(set: Set<String>) {
|
fun test(set: Set<String>) {
|
||||||
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>elemAndList<!>("2", set)
|
<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>elemAndList<!>("2", <!TYPE_MISMATCH!>set<!>)
|
||||||
|
|
||||||
"".<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>elemAndListWithReceiver<!>("", set)
|
"".<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>elemAndListWithReceiver<!>("", <!TYPE_MISMATCH!>set<!>)
|
||||||
}
|
}
|
||||||
|
|
||||||
fun <R> elemAndList(r: R, <!UNUSED_PARAMETER!>t<!>: List<R>): R = r
|
fun <R> elemAndList(r: R, <!UNUSED_PARAMETER!>t<!>: List<R>): R = r
|
||||||
|
|||||||
Reference in New Issue
Block a user