From e033fe5ba1075763d6ef58777bf706bbf0ddda83 Mon Sep 17 00:00:00 2001
From: Dmitrii Gridin <dmitry.gridin@jetbrains.com>
Date: Fri, 8 Dec 2023 18:26:29 +0100
Subject: [PATCH] [Analysis API FIR] more tests for
 KtSymbolDeclarationOverridesProvider

^KT-64108
---
 ...iddenDeclarationProviderTestGenerated.java | 36 +++++++++++++++++++
 ...iddenDeclarationProviderTestGenerated.java | 36 +++++++++++++++++++
 ...iddenDeclarationProviderTestGenerated.java | 36 +++++++++++++++++++
 ...iddenDeclarationProviderTestGenerated.java | 36 +++++++++++++++++++
 ...deWithImplicitTypeInsideAnonymousObject.kt | 14 ++++++++
 ...eWithImplicitTypeInsideAnonymousObject.txt |  4 +++
 ...tTypeInsideAnonymousObject.descriptors.txt |  4 +++
 ...ithoutImplicitTypeInsideAnonymousObject.kt | 13 +++++++
 ...thoutImplicitTypeInsideAnonymousObject.txt |  5 +++
 ...deWithImplicitTypeInsideAnonymousObject.kt | 21 +++++++++++
 ...eWithImplicitTypeInsideAnonymousObject.txt |  2 ++
 ...tTypeInsideAnonymousObject.descriptors.txt |  2 ++
 ...ithoutImplicitTypeInsideAnonymousObject.kt | 20 +++++++++++
 ...thoutImplicitTypeInsideAnonymousObject.txt |  8 +++++
 ...deWithImplicitTypeInsideAnonymousObject.kt | 12 +++++++
 ...eWithImplicitTypeInsideAnonymousObject.txt |  4 +++
 ...tTypeInsideAnonymousObject.descriptors.txt |  4 +++
 ...ithoutImplicitTypeInsideAnonymousObject.kt | 11 ++++++
 ...thoutImplicitTypeInsideAnonymousObject.txt |  5 +++
 19 files changed, 273 insertions(+)
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt
 create mode 100644 analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.txt

diff --git a/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java b/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
index ff6df0ca0d0..cc5818bc171 100644
--- a/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
+++ b/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
@@ -58,6 +58,18 @@ public class Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestG
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/backingField.kt");
     }
 
+    @Test
+    @TestMetadata("delegateOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("inAnonymousClass.kt")
     public void testInAnonymousClass() throws Exception {
@@ -88,6 +100,18 @@ public class Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestG
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverride2.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("javaAccessors.kt")
     public void testJavaAccessors() throws Exception {
@@ -117,4 +141,16 @@ public class Fe10IdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestG
     public void testSequenceOfOverrides() throws Exception {
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/sequenceOfOverrides.kt");
     }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
 }
diff --git a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
index 271ca5903e9..382ef5968f1 100644
--- a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
+++ b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
@@ -58,6 +58,18 @@ public class FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTes
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/backingField.kt");
     }
 
+    @Test
+    @TestMetadata("delegateOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("inAnonymousClass.kt")
     public void testInAnonymousClass() throws Exception {
@@ -88,6 +100,18 @@ public class FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTes
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverride2.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("javaAccessors.kt")
     public void testJavaAccessors() throws Exception {
@@ -117,4 +141,16 @@ public class FirIdeDependentAnalysisSourceModuleOverriddenDeclarationProviderTes
     public void testSequenceOfOverrides() throws Exception {
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/sequenceOfOverrides.kt");
     }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
 }
diff --git a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
index e1179eac2be..ccae1eb8f90 100644
--- a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
+++ b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
@@ -58,6 +58,18 @@ public class FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGe
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/backingField.kt");
     }
 
+    @Test
+    @TestMetadata("delegateOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("inAnonymousClass.kt")
     public void testInAnonymousClass() throws Exception {
@@ -88,6 +100,18 @@ public class FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGe
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverride2.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("javaAccessors.kt")
     public void testJavaAccessors() throws Exception {
@@ -117,4 +141,16 @@ public class FirIdeNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGe
     public void testSequenceOfOverrides() throws Exception {
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/sequenceOfOverrides.kt");
     }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
 }
diff --git a/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java b/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
index e8fd96cb1ba..20490d42760 100644
--- a/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
+++ b/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/symbolDeclarationOverridesProvider/FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProviderTestGenerated.java
@@ -58,6 +58,18 @@ public class FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProvide
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/backingField.kt");
     }
 
+    @Test
+    @TestMetadata("delegateOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testDelegateOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("inAnonymousClass.kt")
     public void testInAnonymousClass() throws Exception {
@@ -88,6 +100,18 @@ public class FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProvide
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverride2.kt");
     }
 
+    @Test
+    @TestMetadata("intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testIntersectionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
+
     @Test
     @TestMetadata("javaAccessors.kt")
     public void testJavaAccessors() throws Exception {
@@ -117,4 +141,16 @@ public class FirStandaloneNormalAnalysisSourceModuleOverriddenDeclarationProvide
     public void testSequenceOfOverrides() throws Exception {
         runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/sequenceOfOverrides.kt");
     }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt");
+    }
+
+    @Test
+    @TestMetadata("substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt")
+    public void testSubstitutionOverrideWithoutImplicitTypeInsideAnonymousObject() throws Exception {
+        runTest("analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt");
+    }
 }
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt
new file mode 100644
index 00000000000..3a9a9ef0450
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.kt
@@ -0,0 +1,14 @@
+// IGNORE_FIR
+class MyClass {
+    lateinit var d: IntermediateClass<Int>
+    val prop = object : IntermediateClass<Int> by d {
+        override fun isSc<caret>hemeFile(name: CharSequence) = name != "str"
+    }
+}
+
+interface IntermediateClass<SCHEME : Number> : BaseClass<SCHEME, Int> {
+}
+
+interface BaseClass<SCHEME : Number, MUTABLE_SCHEME> {
+    fun isSchemeFile(name: CharSequence) = true
+}
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.txt
new file mode 100644
index 00000000000..34bb029eb25
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithImplicitTypeInsideAnonymousObject.txt
@@ -0,0 +1,4 @@
+ALL:
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
+DIRECT:
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
new file mode 100644
index 00000000000..34bb029eb25
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
@@ -0,0 +1,4 @@
+ALL:
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
+DIRECT:
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt
new file mode 100644
index 00000000000..63afc7eff63
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.kt
@@ -0,0 +1,13 @@
+class MyClass {
+    lateinit var d: IntermediateClass<Int>
+    val prop = object : IntermediateClass<Int> by d {
+        override fun isSc<caret>hemeFile(name: CharSequence): Boolean = name != "str"
+    }
+}
+
+interface IntermediateClass<SCHEME : Number> : BaseClass<SCHEME, Int> {
+}
+
+interface BaseClass<SCHEME : Number, MUTABLE_SCHEME> {
+    fun isSchemeFile(name: CharSequence): Boolean = true
+}
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.txt
new file mode 100644
index 00000000000..5baa0894aab
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/delegateOverrideWithoutImplicitTypeInsideAnonymousObject.txt
@@ -0,0 +1,5 @@
+ALL:
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
+DIRECT:
+  BaseClass.isSchemeFile(name: CharSequence): Boolean
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt
new file mode 100644
index 00000000000..4f574820ed5
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.kt
@@ -0,0 +1,21 @@
+// IGNORE_FIR
+package second
+
+class MyClass {
+    val prop = object : B<String> {
+        override fun foo<caret>(x: String) = Unit
+    }
+}
+
+// FILE: B.kt
+interface B<T>: C<T>, D<T>
+
+// FILE: C.kt
+interface C<T> {
+    fun foo(x: T) = Unit
+}
+
+// FILE: D.kt
+interface D<F> {
+    fun foo(x: F) = Unit
+}
\ No newline at end of file
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.txt
new file mode 100644
index 00000000000..be9e7f5f5d6
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.txt
@@ -0,0 +1,2 @@
+ALL:
+DIRECT:
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
new file mode 100644
index 00000000000..be9e7f5f5d6
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
@@ -0,0 +1,2 @@
+ALL:
+DIRECT:
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt
new file mode 100644
index 00000000000..e3bb9b8a0b3
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.kt
@@ -0,0 +1,20 @@
+package second
+
+class MyClass {
+    val prop = object : B<String> {
+        override fun foo<caret>(x: String): Unit = Unit
+    }
+}
+
+// FILE: B.kt
+interface B<T>: C<T>, D<T>
+
+// FILE: C.kt
+interface C<T> {
+    fun foo(x: T) {}
+}
+
+// FILE: D.kt
+interface D<F> {
+    fun foo(x: F) {}
+}
\ No newline at end of file
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.txt
new file mode 100644
index 00000000000..366e0d25560
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.txt
@@ -0,0 +1,8 @@
+ALL:
+  C.foo(x: String): Unit
+  C.foo(x: T): Unit
+  D.foo(x: T): Unit
+  C.foo(x: T): Unit
+  D.foo(x: F): Unit
+DIRECT:
+  C.foo(x: String): Unit
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt
new file mode 100644
index 00000000000..684ccc01812
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.kt
@@ -0,0 +1,12 @@
+// IGNORE_FIR
+package second
+
+class MyClass {
+    val prop = object : LazySchemeProcessor<Int, Int>() {
+        override fun is<caret>SchemeFile(name: CharSequence) = name != "str"
+    }
+}
+
+abstract class LazySchemeProcessor<SCHEME : Number, MUTABLE_SCHEME : SCHEME> {
+    open fun isSchemeFile(name: CharSequence) = true
+}
\ No newline at end of file
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.txt
new file mode 100644
index 00000000000..ebd51c7fd0f
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithImplicitTypeInsideAnonymousObject.txt
@@ -0,0 +1,4 @@
+ALL:
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
+DIRECT:
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
new file mode 100644
index 00000000000..ebd51c7fd0f
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt
@@ -0,0 +1,4 @@
+ALL:
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
+DIRECT:
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt
new file mode 100644
index 00000000000..68bf33e41fd
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.kt
@@ -0,0 +1,11 @@
+package second
+
+class MyClass {
+    val prop = object : LazySchemeProcessor<Int, Int>() {
+        override fun is<caret>SchemeFile(name: CharSequence): Boolean = name != "str"
+    }
+}
+
+abstract class LazySchemeProcessor<SCHEME : Number, MUTABLE_SCHEME : SCHEME> {
+    open fun isSchemeFile(name: CharSequence): Boolean = true
+}
\ No newline at end of file
diff --git a/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.txt b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.txt
new file mode 100644
index 00000000000..bdfa2b6a2fc
--- /dev/null
+++ b/analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/substitutionOverrideWithoutImplicitTypeInsideAnonymousObject.txt
@@ -0,0 +1,5 @@
+ALL:
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
+DIRECT:
+  LazySchemeProcessor.isSchemeFile(name: CharSequence): Boolean
\ No newline at end of file