From a19495cb26655a1e052cb499900223e13917207b Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <mikhail.glukhikh@jetbrains.com>
Date: Mon, 2 Aug 2021 18:57:05 +0300
Subject: [PATCH] FIR: add test with resolve problem in delegate

---
 ...nosisCompilerFirTestdataTestGenerated.java |  6 +++
 .../intellij/hideBySeverity.fir.txt           | 43 +++++++++++++++++++
 .../intellij/hideBySeverity.kt                | 24 +++++++++++
 .../runners/FirDiagnosticTestGenerated.java   |  6 +++
 ...DiagnosticsWithLightTreeTestGenerated.java |  6 +++
 5 files changed, 85 insertions(+)
 create mode 100644 compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.fir.txt
 create mode 100644 compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt

diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java
index 4ee50ec847e..e638ee7135c 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java
@@ -5147,6 +5147,12 @@ public class DiagnosisCompilerFirTestdataTestGenerated extends AbstractDiagnosis
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/FieldVsSyntheticAccessor.kt");
             }
 
+            @Test
+            @TestMetadata("hideBySeverity.kt")
+            public void testHideBySeverity() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt");
+            }
+
             @Test
             @TestMetadata("InnerClassOfThrowableOnObject.kt")
             public void testInnerClassOfThrowableOnObject() throws Exception {
diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.fir.txt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.fir.txt
new file mode 100644
index 00000000000..7cbe5144e51
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.fir.txt
@@ -0,0 +1,43 @@
+FILE: hideBySeverity.kt
+    public abstract class StoredPropertyBase<T> : R|kotlin/properties/ReadWriteProperty<BaseState, T>| {
+        public constructor<T>(): R|StoredPropertyBase<T>| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public abstract class StoredPropertyDerived<T> : R|StoredPropertyBase<T>| {
+        public constructor<T>(): R|StoredPropertyDerived<T>| {
+            super<R|StoredPropertyBase<T>|>()
+        }
+
+        public final operator fun provideDelegate(thisRef: R|kotlin/Any|, property: R|kotlin/reflect/KProperty<*>|): R|StoredPropertyBase<T>| {
+            ^provideDelegate this@R|/StoredPropertyDerived|
+        }
+
+    }
+    public abstract class BaseState : R|kotlin/Any| {
+        public constructor(): R|BaseState| {
+            super<R|kotlin/Any|>()
+        }
+
+        protected abstract fun <PROPERTY_TYPE> propertyDerived(initialValue: R|PROPERTY_TYPE|): R|StoredPropertyDerived<PROPERTY_TYPE>|
+
+        protected abstract fun <PROPERTY_TYPE> propertyBase(initialValue: R|PROPERTY_TYPE|): R|StoredPropertyBase<PROPERTY_TYPE>|
+
+    }
+    public abstract class Some : R|BaseState| {
+        public constructor(): R|Some| {
+            super<R|BaseState|>()
+        }
+
+        public final val hideBySeverityDerived: R|kotlin/collections/MutableSet<kotlin/Int>|by this@R|/Some|.<CS errors: /BaseState.propertyDerived>#<R|ERROR CLASS: Cannot infer argument for type parameter PROPERTY_TYPE|>(R|kotlin/collections/mutableSetOf|<R|ERROR CLASS: Cannot infer argument for type parameter T|>()).R|SubstitutionOverride</StoredPropertyDerived.provideDelegate: R|StoredPropertyBase<ERROR CLASS: Cannot infer argument for type parameter PROPERTY_TYPE>|>|(this@R|/Some|, ::R|/Some.hideBySeverityDerived|)
+            public get(): R|kotlin/collections/MutableSet<kotlin/Int>| {
+                ^ this@R|/Some|.D|/Some.hideBySeverityDerived|.R|SubstitutionOverride</StoredPropertyBase.getValue: <ERROR TYPE REF: Cannot infer argument for type parameter PROPERTY_TYPE>>|(this@R|/Some|, ::R|/Some.hideBySeverityDerived|)
+            }
+
+        public final val hideBySeverityBase: R|kotlin/collections/MutableSet<kotlin/Int>|by this@R|/Some|.R|/BaseState.propertyBase|<R|kotlin/collections/MutableSet<kotlin/Int>|>(R|kotlin/collections/mutableSetOf|<R|kotlin/Int|>())
+            public get(): R|kotlin/collections/MutableSet<kotlin/Int>| {
+                ^ this@R|/Some|.D|/Some.hideBySeverityBase|.R|SubstitutionOverride</StoredPropertyBase.getValue: R|kotlin/collections/MutableSet<kotlin/Int>|>|(this@R|/Some|, ::R|/Some.hideBySeverityBase|)
+            }
+
+    }
diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt
new file mode 100644
index 00000000000..42ab8da35f5
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt
@@ -0,0 +1,24 @@
+import kotlin.reflect.KProperty
+import kotlin.properties.ReadWriteProperty
+
+// type must be exposed otherwise `provideDelegate` doesn't work
+abstract class StoredPropertyBase<T> : ReadWriteProperty<BaseState, T>
+
+abstract class StoredPropertyDerived<T> : StoredPropertyBase<T>() {
+    operator fun provideDelegate(thisRef: Any, property: KProperty<*>): StoredPropertyBase<T> {
+        return this
+    }
+}
+
+
+abstract class BaseState {
+    protected abstract fun <PROPERTY_TYPE> propertyDerived(initialValue: PROPERTY_TYPE): StoredPropertyDerived<PROPERTY_TYPE>
+
+    protected abstract fun <PROPERTY_TYPE> propertyBase(initialValue: PROPERTY_TYPE): StoredPropertyBase<PROPERTY_TYPE>
+}
+
+abstract class Some : BaseState() {
+    val hideBySeverityDerived: MutableSet<Int> by <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>propertyDerived<!>(mutableSetOf())
+
+    val hideBySeverityBase: MutableSet<Int> by propertyBase(mutableSetOf())
+}
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
index 5c7103a82cf..2f305681265 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
@@ -5147,6 +5147,12 @@ public class FirDiagnosticTestGenerated extends AbstractFirDiagnosticTest {
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/FieldVsSyntheticAccessor.kt");
             }
 
+            @Test
+            @TestMetadata("hideBySeverity.kt")
+            public void testHideBySeverity() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt");
+            }
+
             @Test
             @TestMetadata("InnerClassOfThrowableOnObject.kt")
             public void testInnerClassOfThrowableOnObject() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
index 57586303376..2d5477087cf 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
@@ -5147,6 +5147,12 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/FieldVsSyntheticAccessor.kt");
             }
 
+            @Test
+            @TestMetadata("hideBySeverity.kt")
+            public void testHideBySeverity() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/hideBySeverity.kt");
+            }
+
             @Test
             @TestMetadata("InnerClassOfThrowableOnObject.kt")
             public void testInnerClassOfThrowableOnObject() throws Exception {