From 9aced1c33dcf7736bbae5d8ae525c20192528ccf Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <mikhail.glukhikh@jetbrains.com>
Date: Wed, 17 Nov 2021 10:59:09 +0300
Subject: [PATCH] FIR: Update test-data (Delegate inference)

---
 .../box/inference/builderInference/kt47052.kt |  2 --
 .../box/inference/builderInference/kt49285.kt |  2 --
 .../inference/extensionProperty.fir.kt        | 21 +++++++++++++++++++
 .../inference/extensionProperty.kt            |  5 ++---
 4 files changed, 23 insertions(+), 7 deletions(-)
 create mode 100644 compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.fir.kt

diff --git a/compiler/testData/codegen/box/inference/builderInference/kt47052.kt b/compiler/testData/codegen/box/inference/builderInference/kt47052.kt
index d199358c8bb..db2a76d847e 100644
--- a/compiler/testData/codegen/box/inference/builderInference/kt47052.kt
+++ b/compiler/testData/codegen/box/inference/builderInference/kt47052.kt
@@ -1,6 +1,4 @@
 // WITH_STDLIB
-// IGNORE_BACKEND_FIR: JVM_IR
-// FIR status: in progress (delegate branch)
 
 public inline fun <R, C : MutableCollection<in R>> flatMapTo1(destination: C, transform: (List<String>) -> Iterable<R>) {}
 
diff --git a/compiler/testData/codegen/box/inference/builderInference/kt49285.kt b/compiler/testData/codegen/box/inference/builderInference/kt49285.kt
index 3eeba3c18ca..c3e34c05c75 100644
--- a/compiler/testData/codegen/box/inference/builderInference/kt49285.kt
+++ b/compiler/testData/codegen/box/inference/builderInference/kt49285.kt
@@ -1,6 +1,4 @@
 // DONT_TARGET_EXACT_BACKEND: WASM
-// IGNORE_BACKEND_FIR: JVM_IR
-// FIR status: in progress (delegate branch)
 // WITH_STDLIB
 
 import kotlin.experimental.ExperimentalTypeInference
diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.fir.kt b/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.fir.kt
new file mode 100644
index 00000000000..6d6567c8f9c
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.fir.kt
@@ -0,0 +1,21 @@
+package foo
+
+import kotlin.reflect.KProperty
+
+open class A {
+    val B.w: Int by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>MyProperty<!>()<!>
+}
+
+val B.r: Int by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>MyProperty<!>()<!>
+
+val A.e: Int by MyProperty()
+
+class B {
+    val A.f: Int by MyProperty()
+}
+
+class MyProperty<R : A, T> {
+    operator fun getValue(thisRef: R, desc: KProperty<*>): T {
+        throw Exception("$thisRef $desc")
+    }
+}
diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.kt b/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.kt
index dc3d9e7c5ab..b2dffbb0989 100644
--- a/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.kt
+++ b/compiler/testData/diagnostics/tests/delegatedProperty/inference/extensionProperty.kt
@@ -1,13 +1,12 @@
-// FIR_IDENTICAL
 package foo
 
 import kotlin.reflect.KProperty
 
 open class A {
-    val B.w: Int by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>MyProperty<!>()<!>
+    val B.w: Int by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!>MyProperty()<!>
 }
 
-val B.r: Int by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!><!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>MyProperty<!>()<!>
+val B.r: Int by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!>MyProperty()<!>
 
 val A.e: Int by MyProperty()