[Analysis API FIR] more tests for KtSymbolDeclarationOverridesProvider

^KT-64108

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
+}

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

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

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
+}

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

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
+}

analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithImplicitTypeInsideAnonymousObject.txt

@@ -0,0 +1,2 @@
+ALL:
+DIRECT:

analysis/analysis-api/testData/components/symbolDeclarationOverridesProvider/overriddenSymbols/intersectionOverrideWithoutImplicitTypeInsideAnonymousObject.descriptors.txt

@@ -0,0 +1,2 @@
+ALL:
+DIRECT:

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) {}
+}

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

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
+}

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

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

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
+}

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