K2: Adjust test data after 9fa0f51a61
This commit is contained in:
committed by
Space Team
parent
b474d12b0a
commit
14418a31ac
+1
-1
@@ -54,7 +54,7 @@ FILE: notUselessCast_2.kt
|
|||||||
^test_2 R|/Wrapper.Wrapper|<R|Bar|>(R|/Bar.Bar|(String(bar))).R|SubstitutionOverride</Wrapper.map: R|Wrapper<A>|>|<R|Foo|>(<L> = map@fun <anonymous>(it: R|Bar|): R|Foo| <inline=NoInline> {
|
^test_2 R|/Wrapper.Wrapper|<R|Bar|>(R|/Bar.Bar|(String(bar))).R|SubstitutionOverride</Wrapper.map: R|Wrapper<A>|>|<R|Foo|>(<L> = map@fun <anonymous>(it: R|Bar|): R|Foo| <inline=NoInline> {
|
||||||
^ R|<local>/it|.R|/toFoo|()
|
^ R|<local>/it|.R|/toFoo|()
|
||||||
}
|
}
|
||||||
).R|SubstitutionOverride</Wrapper.swapWrappedValue: R|Wrapper<Foo>|><CS errors: /Wrapper.swapWrappedValue>#|(<L> = swapWrappedValue@fun <anonymous>(it: R|Foo|): R|Wrapper<Foo>| <inline=NoInline> {
|
).R|SubstitutionOverride</Wrapper.swapWrappedValue: R|Wrapper<Foo>|>|(<L> = swapWrappedValue@fun <anonymous>(it: R|Foo|): R|Wrapper<Foo>| <inline=NoInline> {
|
||||||
^ R|/Wrapper.Wrapper<CS errors: /Wrapper.Wrapper>#|<R|Foo|>(Null(null))
|
^ R|/Wrapper.Wrapper<CS errors: /Wrapper.Wrapper>#|<R|Foo|>(Null(null))
|
||||||
}
|
}
|
||||||
)
|
)
|
||||||
|
|||||||
+2
-2
@@ -16,13 +16,13 @@ fun test_1() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test_2(x: Base<*>) {
|
fun test_2(x: Base<*>) {
|
||||||
x.foo = <!ASSIGNMENT_TYPE_MISMATCH!>invOf()<!>
|
x.foo = <!ASSIGNMENT_TYPE_MISMATCH!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invOf<!>()<!>
|
||||||
x.foo = null
|
x.foo = null
|
||||||
}
|
}
|
||||||
|
|
||||||
fun test_3(x: Any) {
|
fun test_3(x: Any) {
|
||||||
if (x is Base<*>) {
|
if (x is Base<*>) {
|
||||||
x.foo = <!ASSIGNMENT_TYPE_MISMATCH!>invOf()<!>
|
x.foo = <!ASSIGNMENT_TYPE_MISMATCH!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invOf<!>()<!>
|
||||||
x.foo = null
|
x.foo = null
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
+1
-1
@@ -15,7 +15,7 @@ FILE: assignToBoundSmartcastedVariable.kt
|
|||||||
when () {
|
when () {
|
||||||
(R|<local>/ab| is R|B|) -> {
|
(R|<local>/ab| is R|B|) -> {
|
||||||
lvar z: R|it(B & A)| = R|/id|<R|it(B & A)|>(R|<local>/ab|)
|
lvar z: R|it(B & A)| = R|/id|<R|it(B & A)|>(R|<local>/ab|)
|
||||||
R|<local>/z| = R|/Foo.Foo<CS errors: /Foo.Foo>#|()
|
R|<local>/z| = R|/Foo.Foo|()
|
||||||
R|<local>/z|.R|/B.fooB|(Int(1))
|
R|<local>/z|.R|/B.fooB|(Int(1))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user