[tests] Add test data for KT-53422

2023-11-30 22:04:40 +01:00
parent 96e12584a1
commit 982e8133ba
6 changed files with 215 additions and 0 deletions
@@ -0,0 +1,37 @@
+// ISSUE: KT-53422
+// CHECK_TYPE_WITH_EXACT
+
+fun test() {
+    val buildee = stepByStepBuild(
+        <!BUILDER_INFERENCE_MULTI_LAMBDA_RESTRICTION!>{
+            it.<!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, DEBUG_INFO_UNRESOLVED_WITH_TARGET, 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>>(<!TYPE_MISMATCH("Buildee<TargetType>; Buildee<TargetTypeBase>"), TYPE_MISMATCH("Buildee<TargetTypeBase>; Buildee<TargetType>")!>buildee<!>)
+}
+
+
+
+
+class ConcreteType
+open class TargetTypeBase {
+    val concreteTypeMemberProperty: ConcreteType = ConcreteType()
+}
+class TargetType: TargetTypeBase()
+
+fun consumeTargetTypeBase(value: TargetTypeBase) {}
+
+class Buildee<TV>
+
+fun <PTV> stepByStepBuild(
+    instructionsA: Buildee<PTV>.(PTV) -> PTV,
+    instructionsB: Buildee<PTV>.(PTV) -> Unit,
+): Buildee<PTV> {
+    return null!!
+}