K2: Adjust test data after PCLA implementation [green-to-red]
^KT-59791 In Progress
This commit is contained in:
committed by
Space Team
parent
6052e24626
commit
f945dce4c8
+2
@@ -1,5 +1,7 @@
|
|||||||
// WITH_STDLIB
|
// WITH_STDLIB
|
||||||
// !LANGUAGE: -UseBuilderInferenceOnlyIfNeeded
|
// !LANGUAGE: -UseBuilderInferenceOnlyIfNeeded
|
||||||
|
// IGNORE_BACKEND_K2: ANY
|
||||||
|
// FIR status: K2 is not intended to handle properly disabling the feature introduced at 1.6
|
||||||
|
|
||||||
import kotlin.experimental.ExperimentalTypeInference
|
import kotlin.experimental.ExperimentalTypeInference
|
||||||
|
|
||||||
|
|||||||
Vendored
+3
-3
@@ -19,11 +19,11 @@ FILE: unsafeAssignment_noReport.fir.kt
|
|||||||
lval x: R|kotlin/Int| = Int(57)
|
lval x: R|kotlin/Int| = Int(57)
|
||||||
lval value: R|Foo<kotlin/Any>| = R|/myBuilder|<R|kotlin/Any|>(<L> = myBuilder@fun R|Foo<kotlin/Any>|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
lval value: R|Foo<kotlin/Any>| = R|/myBuilder|<R|kotlin/Any|>(<L> = myBuilder@fun R|Foo<kotlin/Any>|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
|
||||||
this@R|special/anonymous|.R|SubstitutionOverride</Foo.doSmthng: R|kotlin/Unit|>|(String(one ))
|
this@R|special/anonymous|.R|SubstitutionOverride</Foo.doSmthng: R|kotlin/Unit|>|(String(one ))
|
||||||
this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|Stub (chain inference): TypeVariable(T)?|>| = Int(57)
|
this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|kotlin/Any?|>| = Int(57)
|
||||||
this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|Stub (chain inference): TypeVariable(T)?|>| = R|<local>/x|
|
this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|kotlin/Any?|>| = R|<local>/x|
|
||||||
when () {
|
when () {
|
||||||
(R|<local>/arg| is R|kotlin/String|) -> {
|
(R|<local>/arg| is R|kotlin/String|) -> {
|
||||||
this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|Stub (chain inference): TypeVariable(T)?|>| = R|<local>/arg|
|
this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|kotlin/Any?|>| = R|<local>/arg|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
+10
@@ -0,0 +1,10 @@
|
|||||||
|
// !LANGUAGE: +NoAdditionalErrorsInK1DiagnosticReporter
|
||||||
|
// ISSUE: KT-55055
|
||||||
|
fun <T : Number> printGenericNumber(t: T) = println("Number is $t")
|
||||||
|
|
||||||
|
fun main() {
|
||||||
|
buildList { // inferred into MutableList<String>
|
||||||
|
add("Boom")
|
||||||
|
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>printGenericNumber<!>(<!ARGUMENT_TYPE_MISMATCH!>this[0]<!>)
|
||||||
|
}
|
||||||
|
}
|
||||||
Vendored
-1
@@ -1,4 +1,3 @@
|
|||||||
// FIR_IDENTICAL
|
|
||||||
// !LANGUAGE: +NoAdditionalErrorsInK1DiagnosticReporter
|
// !LANGUAGE: +NoAdditionalErrorsInK1DiagnosticReporter
|
||||||
// ISSUE: KT-55055
|
// ISSUE: KT-55055
|
||||||
fun <T : Number> printGenericNumber(t: T) = println("Number is $t")
|
fun <T : Number> printGenericNumber(t: T) = println("Number is $t")
|
||||||
|
|||||||
Reference in New Issue
Block a user