Update test-data for newly added tests
diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt43710.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt43710.fir.kt
index 901b632..6dee479 100644
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt43710.fir.kt
+++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt43710.fir.kt
@@ -4,7 +4,7 @@
fun test() {
val buildee = build {
setTypeVariable(TargetType())
- letForTypeVariable { it.<!OVERLOAD_RESOLUTION_AMBIGUITY!>extensionProduceConcreteType<!>() }
+ letForTypeVariable { it.<!NONE_APPLICABLE!>extensionProduceConcreteType<!>() }
}
// 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/kt50453.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt50453.fir.kt
index 9136a14..76e1cfe 100644
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt50453.fir.kt
+++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt50453.fir.kt
@@ -4,7 +4,7 @@
fun test() {
val buildee = build {
setTypeVariable(TargetType())
- consume(getTypeVariable())
+ consume(<!ARGUMENT_TYPE_MISMATCH!>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/kt53422a.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt
index b16da00..6208ac3 100644
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt
+++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422a.fir.kt
@@ -3,8 +3,8 @@
fun test() {
val buildee = buildFromValue(
- innerBuild { setInnerTypeVariable(TargetType()) },
- { it.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>placeholderExtensionInvokeOnInnerBuildee<!>() }
+ innerBuild <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{ setInnerTypeVariable(TargetType()) }<!>,
+ <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{ <!BUILDER_INFERENCE_STUB_RECEIVER!>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 95f06b7..ce144c6 100644
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53422b.fir.kt
+++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53422b.fir.kt
@@ -3,17 +3,17 @@
fun test() {
val buildee = stepByStepBuild(
- {
+ <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{
it.<!UNRESOLVED_REFERENCE!>concreteTypeMemberProperty<!>
TargetType()
- },
- {
+ }<!>,
+ <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{
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
- checkExactType<Buildee<TargetType>>(buildee)
+ checkExactType<Buildee<TargetType>>(<!ARGUMENT_TYPE_MISMATCH!>buildee<!>)
}
diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt
deleted file mode 100644
index 1f04727..0000000
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.fir.kt
+++ /dev/null
@@ -1,35 +0,0 @@
-// ISSUE: KT-53553
-// CHECK_TYPE_WITH_EXACT
-
-fun test() {
- val buildee = parallelBuild(
- {
- consumeTargetType(it)
- },
- {
- consumeTargetTypeDerived(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
- checkExactType<Buildee<TargetType>>(buildee)
-}
-
-
-
-
-open class TargetType
-class TargetTypeDerived: TargetType()
-
-fun consumeTargetType(value: TargetType) {}
-
-fun consumeTargetTypeDerived(value: TargetTypeDerived) {}
-
-class Buildee<TV>
-
-fun <PTV> parallelBuild(
- instructionsA: Buildee<PTV>.(PTV) -> Unit,
- instructionsB: Buildee<PTV>.(PTV) -> Unit
-): Buildee<PTV> {
- return null!!
-}
diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.kt
index 5e5a413..eb8268c 100644
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.kt
+++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53553.kt
@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
// ISSUE: KT-53553
// CHECK_TYPE_WITH_EXACT
diff --git a/compiler/testData/diagnostics/tests/builderInference/issues/kt53639.fir.kt b/compiler/testData/diagnostics/tests/builderInference/issues/kt53639.fir.kt
index 423469d..baf58e1 100644
--- a/compiler/testData/diagnostics/tests/builderInference/issues/kt53639.fir.kt
+++ b/compiler/testData/diagnostics/tests/builderInference/issues/kt53639.fir.kt
@@ -3,8 +3,8 @@
fun test() {
val buildee = initializeAndBuild(
- { build { setTypeVariable(TargetType()) } },
- { placeholderExtensionInvokeOnBuildee() },
+ { build <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{ setTypeVariable(TargetType()) }<!> },
+ <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{ placeholderExtensionInvokeOnBuildee() }<!>,
)
// 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
