K2: Adjust test data after correcting source for it
While reporting a diagnostic there seems to be correct because the parameter type is ConeErrorType, the former fact is a bug in PCLA that should be fixed soon
This commit is contained in:
committed by
Space Team
parent
e359db4111
commit
b2ca19da73
+1
-1
@@ -4,7 +4,7 @@
|
|||||||
fun test() {
|
fun test() {
|
||||||
val buildee = buildFromValue(
|
val buildee = buildFromValue(
|
||||||
innerBuild { setInnerTypeVariable(TargetType()) },
|
innerBuild { setInnerTypeVariable(TargetType()) },
|
||||||
{ it.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>placeholderExtensionInvokeOnInnerBuildee<!>() }
|
<!CANNOT_INFER_PARAMETER_TYPE!>{ it.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>placeholderExtensionInvokeOnInnerBuildee<!>() }<!>
|
||||||
)
|
)
|
||||||
// exact type equality check — turns unexpected compile-time behavior into red code
|
// exact type equality check — turns unexpected compile-time behavior into red code
|
||||||
// considered to be non-user-reproducible code for the purposes of these tests
|
// considered to be non-user-reproducible code for the purposes of these tests
|
||||||
|
|||||||
+4
-4
@@ -3,13 +3,13 @@
|
|||||||
|
|
||||||
fun test() {
|
fun test() {
|
||||||
val buildee = stepByStepBuild(
|
val buildee = stepByStepBuild(
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
it.<!UNRESOLVED_REFERENCE!>concreteTypeMemberProperty<!>
|
it.<!UNRESOLVED_REFERENCE!>concreteTypeMemberProperty<!>
|
||||||
TargetType()
|
TargetType()
|
||||||
},
|
}<!>,
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
consumeTargetTypeBase(it)
|
consumeTargetTypeBase(it)
|
||||||
}
|
}<!>
|
||||||
)
|
)
|
||||||
// exact type equality check — turns unexpected compile-time behavior into red code
|
// exact type equality check — turns unexpected compile-time behavior into red code
|
||||||
// considered to be non-user-reproducible code for the purposes of these tests
|
// considered to be non-user-reproducible code for the purposes of these tests
|
||||||
|
|||||||
@@ -3,12 +3,12 @@
|
|||||||
|
|
||||||
fun test() {
|
fun test() {
|
||||||
val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>parallelBuild<!>(
|
val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>parallelBuild<!>(
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
consumeTargetTypeBase(it)
|
consumeTargetTypeBase(it)
|
||||||
},
|
}<!>,
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
consumeTargetType(it)
|
consumeTargetType(it)
|
||||||
}
|
}<!>
|
||||||
)
|
)
|
||||||
// exact type equality check — turns unexpected compile-time behavior into red code
|
// exact type equality check — turns unexpected compile-time behavior into red code
|
||||||
// considered to be non-user-reproducible code for the purposes of these tests
|
// considered to be non-user-reproducible code for the purposes of these tests
|
||||||
|
|||||||
+4
-4
@@ -3,12 +3,12 @@
|
|||||||
|
|
||||||
fun test() {
|
fun test() {
|
||||||
val buildee = parallelBuild(
|
val buildee = parallelBuild(
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
setTypeVariable(TargetType())
|
setTypeVariable(TargetType())
|
||||||
},
|
}<!>,
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
consumeDifferentType(<!ARGUMENT_TYPE_MISMATCH!>getTypeVariable()<!>)
|
consumeDifferentType(<!ARGUMENT_TYPE_MISMATCH!>getTypeVariable()<!>)
|
||||||
}
|
}<!>
|
||||||
)
|
)
|
||||||
// exact type equality check — turns unexpected compile-time behavior into red code
|
// exact type equality check — turns unexpected compile-time behavior into red code
|
||||||
// considered to be non-user-reproducible code for the purposes of these tests
|
// considered to be non-user-reproducible code for the purposes of these tests
|
||||||
|
|||||||
+4
-4
@@ -3,12 +3,12 @@
|
|||||||
|
|
||||||
fun test() {
|
fun test() {
|
||||||
val buildee = parallelInOutBuild(
|
val buildee = parallelInOutBuild(
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
setInProjectedTypeVariable(TargetType())
|
setInProjectedTypeVariable(TargetType())
|
||||||
},
|
}<!>,
|
||||||
{
|
<!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
consumeDifferentType(<!ARGUMENT_TYPE_MISMATCH!>getOutProjectedTypeVariable()<!>)
|
consumeDifferentType(<!ARGUMENT_TYPE_MISMATCH!>getOutProjectedTypeVariable()<!>)
|
||||||
}
|
}<!>
|
||||||
)
|
)
|
||||||
// exact type equality check — turns unexpected compile-time behavior into red code
|
// exact type equality check — turns unexpected compile-time behavior into red code
|
||||||
// considered to be non-user-reproducible code for the purposes of these tests
|
// considered to be non-user-reproducible code for the purposes of these tests
|
||||||
|
|||||||
+1
-1
@@ -3,7 +3,7 @@
|
|||||||
fun test() {
|
fun test() {
|
||||||
foo(
|
foo(
|
||||||
flow { emit(0) }
|
flow { emit(0) }
|
||||||
) { it.collect <!TOO_MANY_ARGUMENTS!>{}<!> }
|
) <!CANNOT_INFER_PARAMETER_TYPE!>{ it.collect <!TOO_MANY_ARGUMENTS!>{}<!> }<!>
|
||||||
|
|
||||||
// 0. Initial
|
// 0. Initial
|
||||||
// W <: Any / declared upper bound
|
// W <: Any / declared upper bound
|
||||||
|
|||||||
Vendored
+2
-2
@@ -8,9 +8,9 @@ class GenericController<T> {
|
|||||||
|
|
||||||
fun <S> generate(g: suspend GenericController<S>.(S) -> Unit): S = TODO()
|
fun <S> generate(g: suspend GenericController<S>.(S) -> Unit): S = TODO()
|
||||||
|
|
||||||
val test1 = generate {
|
val test1 = generate <!CANNOT_INFER_PARAMETER_TYPE!>{
|
||||||
yield(4)
|
yield(4)
|
||||||
}
|
}<!>
|
||||||
|
|
||||||
val test2 = generate<Int> {
|
val test2 = generate<Int> {
|
||||||
yield(4)
|
yield(4)
|
||||||
|
|||||||
Reference in New Issue
Block a user