From b2ca19da73d28daa8814d228e734e74e7cac7768 Mon Sep 17 00:00:00 2001 From: "Denis.Zharkov" Date: Wed, 10 Jan 2024 17:24:50 +0100 Subject: [PATCH] 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 --- .../tests/builderInference/issues/kt53422a.fir.kt | 2 +- .../tests/builderInference/issues/kt53422b.fir.kt | 8 ++++---- .../tests/builderInference/issues/kt53553.fir.kt | 8 ++++---- .../tests/builderInference/issues/kt53740a.fir.kt | 8 ++++---- .../tests/builderInference/issues/kt53740b.fir.kt | 8 ++++---- .../tests/inference/builderInference/kt53422.fir.kt | 2 +- .../coroutines/inference/withUninferredParameter.kt | 4 ++-- 7 files changed, 20 insertions(+), 20 deletions(-) diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt index b16da0099f0..43e03f1db97 100644 --- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt +++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt @@ -4,7 +4,7 @@ fun test() { val buildee = buildFromValue( innerBuild { setInnerTypeVariable(TargetType()) }, - { it.placeholderExtensionInvokeOnInnerBuildee() } + { it.placeholderExtensionInvokeOnInnerBuildee() } ) // 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 diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53422b.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422b.fir.kt index 95f06b77c28..9bb5ea3bec9 100644 --- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53422b.fir.kt +++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422b.fir.kt @@ -3,13 +3,13 @@ fun test() { val buildee = stepByStepBuild( - { + { it.concreteTypeMemberProperty TargetType() - }, - { + }, + { consumeTargetTypeBase(it) - } + } ) // 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 diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt index 6bff97894af..f2d55b52d46 100644 --- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt +++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt @@ -3,12 +3,12 @@ fun test() { val buildee = parallelBuild( - { + { consumeTargetTypeBase(it) - }, - { + }, + { consumeTargetType(it) - } + } ) // 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 diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53740a.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53740a.fir.kt index 60029a4ec69..cf85883fd7b 100644 --- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53740a.fir.kt +++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53740a.fir.kt @@ -3,12 +3,12 @@ fun test() { val buildee = parallelBuild( - { + { setTypeVariable(TargetType()) - }, - { + }, + { consumeDifferentType(getTypeVariable()) - } + } ) // 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 diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53740b.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53740b.fir.kt index 7f12240c3ea..32ff8693462 100644 --- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53740b.fir.kt +++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53740b.fir.kt @@ -3,12 +3,12 @@ fun test() { val buildee = parallelInOutBuild( - { + { setInProjectedTypeVariable(TargetType()) - }, - { + }, + { consumeDifferentType(getOutProjectedTypeVariable()) - } + } ) // 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 diff --git a/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt b/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt index 21ca35801c4..1d41ff90ca3 100644 --- a/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt +++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt @@ -3,7 +3,7 @@ fun test() { foo( flow { emit(0) } - ) { it.collect {} } + ) { it.collect {} } // 0. Initial // W <: Any / declared upper bound diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/withUninferredParameter.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/withUninferredParameter.kt index a7786dd3c07..1be88875782 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/withUninferredParameter.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/withUninferredParameter.kt @@ -8,9 +8,9 @@ class GenericController { fun generate(g: suspend GenericController.(S) -> Unit): S = TODO() -val test1 = generate { +val test1 = generate { yield(4) -} +} val test2 = generate { yield(4)