azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixup! Add a 2nd user-defined class to InsideNestedBuilderInferenceLambda.kt

Browse Source
This commit is contained in:
Stanislav Ruban
2023-07-26 20:35:10 +03:00
committed by Space Team
parent 816906c7b7
commit 9ecf02fddf
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/builderInference/oneParameter/oneTypeVariable/oneTypeInfoOrigin/sourceSinkFeedContexts/InsideNestedBuilderInferenceLambda.fir.kt
Vendored
+3 -2
View File
@@ -33,6 +33,7 @@ fun <T> nestedBuild(
): NestedBuildee<T> { ): NestedBuildee<T> {
return NestedBuildee<T>().apply(instructions) return NestedBuildee<T>().apply(instructions)
} }
class Placeholder
// test 1: PTV is in consuming position (yield-case) // test 1: PTV is in consuming position (yield-case)
fun testYield() { fun testYield() {
@@ -40,7 +41,7 @@ fun testYield() {
val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> { val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> {
nestedBuild { nestedBuild {
yield(arg) yield(arg)
nestedYield(Any()) nestedYield(Placeholder())
} }
} }
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>checkExactType<!><<!CANNOT_INFER_PARAMETER_TYPE!>Buildee<UserKlass><!>>(buildee) <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>checkExactType<!><<!CANNOT_INFER_PARAMETER_TYPE!>Buildee<UserKlass><!>>(buildee)
@@ -52,7 +53,7 @@ fun testMaterialize() {
val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> { val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> {
nestedBuild { nestedBuild {
consume(materialize()) consume(materialize())
nestedYield(Any()) nestedYield(Placeholder())
} }
} }
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>checkExactType<!><<!CANNOT_INFER_PARAMETER_TYPE!>Buildee<UserKlass><!>>(buildee) <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>checkExactType<!><<!CANNOT_INFER_PARAMETER_TYPE!>Buildee<UserKlass><!>>(buildee)
compiler/testData/diagnostics/tests/builderInference/oneParameter/oneTypeVariable/oneTypeInfoOrigin/sourceSinkFeedContexts/InsideNestedBuilderInferenceLambda.kt
Vendored
+3 -2
View File
@@ -33,6 +33,7 @@ fun <T> nestedBuild(
): NestedBuildee<T> { ): NestedBuildee<T> {
return NestedBuildee<T>().apply(instructions) return NestedBuildee<T>().apply(instructions)
} }
class Placeholder
// test 1: PTV is in consuming position (yield-case) // test 1: PTV is in consuming position (yield-case)
fun testYield() { fun testYield() {
@@ -40,7 +41,7 @@ fun testYield() {
val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> { val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> {
nestedBuild { nestedBuild {
yield(arg) yield(arg)
nestedYield(Any()) nestedYield(Placeholder())
} }
} }
checkExactType<Buildee<UserKlass>>(<!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>buildee<!>) checkExactType<Buildee<UserKlass>>(<!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>buildee<!>)
@@ -52,7 +53,7 @@ fun testMaterialize() {
val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> { val buildee = <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>build<!> {
nestedBuild { nestedBuild {
consume(materialize()) consume(materialize())
nestedYield(Any()) nestedYield(Placeholder())
} }
} }
checkExactType<Buildee<UserKlass>>(<!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>buildee<!>) checkExactType<Buildee<UserKlass>>(<!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>buildee<!>)