[FIR] Don't report EXTENSION_SHADOWED_BY_MEMBER if type parameter count is different

#KT-75169

Author: cypressious

compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirExtensionShadowedByMemberChecker.kt

@@ -151,6 +151,7 @@ sealed class FirExtensionShadowedByMemberChecker(kind: MppCheckerKind) : FirCall
         if (varargParameterPosition != extension.varargParameterPosition) return false
         if (extension.isOperator && !isOperator) return false
         if (extension.isInfix && !isInfix) return false
+        if (extension.typeParameterSymbols.size != typeParameterSymbols.size) return false
 
         val helper = context.session.declarationOverloadabilityHelper
         val memberSignature = helper.createSignature(this)

compiler/testData/diagnostics/tests/extensionShadowedByMember.fir.kt

@@ -0,0 +1,15 @@
+// RUN_PIPELINE_TILL: BACKEND
+// ISSUE: KT-54483, KT-75169
+// WITH_STDLIB
+
+abstract class Cache {
+    fun get(): Int = 10
+    fun get2(): Int = 10
+    fun <T> get3(): Int = 10
+    fun <T : CharSequence> get4(): Int = 10
+}
+
+inline fun <reified T> Cache.get() = 10
+fun <T> Cache.get2() = 10
+fun <T, R> Cache.get3() = 10
+fun <T : List<String>> Cache.<!EXTENSION_SHADOWED_BY_MEMBER!>get4<!>() = 10

compiler/testData/diagnostics/tests/extensionShadowedByMember.kt

@@ -1,5 +1,4 @@
 // RUN_PIPELINE_TILL: BACKEND
-// FIR_IDENTICAL
 // ISSUE: KT-54483, KT-75169
 // WITH_STDLIB
 

compiler/testData/diagnostics/tests/redeclarations/shadowedExtension/extensionFunShadowedByMemberFun.fir.kt

@@ -0,0 +1,47 @@
+// RUN_PIPELINE_TILL: BACKEND
+// DIAGNOSTICS: -UNUSED_PARAMETER
+
+interface Test1 {
+    fun test1() {}
+}
+fun Test1.<!EXTENSION_SHADOWED_BY_MEMBER!>test1<!>() {}
+
+interface Test2 {
+    fun test2(x: String) {}
+}
+fun Test2.test2(x: Any) {}
+
+interface Test3 {
+    fun test3(x: Any) {}
+}
+fun Test3.<!EXTENSION_SHADOWED_BY_MEMBER!>test3<!>(x: String) {}
+fun <T : Any?> Test3.test3(x: T) {}
+
+interface Test4 {
+    fun <T> test4(x: T) {}
+}
+fun Test4.test4(x: String) {}
+
+interface Test5 {
+    fun <T> test5(x: T) {}
+}
+fun <T : Number> Test5.<!EXTENSION_SHADOWED_BY_MEMBER!>test5<!>(x: T) {}
+
+interface Test6 {
+    fun <T : List<Any>> test6(x: T) {}
+}
+fun <T : Set<Any>> Test6.test6(x: T) {}
+
+interface Test7 {
+    fun test7()
+}
+
+fun Test7?.test7() {}
+
+interface Test8 {
+    fun test8()
+}
+
+typealias NullableTest8 = Test8?
+
+fun NullableTest8.test8() {}

compiler/testData/diagnostics/tests/redeclarations/shadowedExtension/extensionFunShadowedByMemberFun.kt

@@ -1,5 +1,4 @@
 // RUN_PIPELINE_TILL: BACKEND
-// FIR_IDENTICAL
 // DIAGNOSTICS: -UNUSED_PARAMETER
 
 interface Test1 {

compiler/testData/diagnostics/tests/redeclarations/shadowedExtension/extensionFunShadowedByMemberPropertyWithInvoke.fir.kt

@@ -0,0 +1,19 @@
+// RUN_PIPELINE_TILL: BACKEND
+// DIAGNOSTICS: -UNUSED_PARAMETER
+
+interface WithInvoke {
+    operator fun invoke()
+    operator fun invoke(s: String)
+    operator fun <T> invoke(x: T, y: Int)
+    fun invoke(i: Int)
+}
+
+interface Test1 {
+    val test1: WithInvoke
+}
+
+fun Test1.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>test1<!>() {}
+fun Test1.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>test1<!>(s: String) {}
+fun Test1.test1(i: Int) {}
+fun Test1.test1(x: Any, y: Int) {}
+fun <T : Number> Test1.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>test1<!>(x: T, y: Int) {}

compiler/testData/diagnostics/tests/redeclarations/shadowedExtension/extensionFunShadowedByMemberPropertyWithInvoke.kt

@@ -1,5 +1,4 @@
 // RUN_PIPELINE_TILL: BACKEND
-// FIR_IDENTICAL
 // DIAGNOSTICS: -UNUSED_PARAMETER
 
 interface WithInvoke {

compiler/testData/diagnostics/tests/testsWithJava21/globalExtensionForHiddenInDeclaringMethod.fir.kt

@@ -5,7 +5,7 @@ abstract class A : List<Any> {
     }
 }
 
-fun <T> List<T>.<!EXTENSION_SHADOWED_BY_MEMBER!>getFirst<!>(): Int = 1
+fun <T> List<T>.getFirst(): Int = 1
 
 fun test(l: A){
     consumeInt(<!ARGUMENT_TYPE_MISMATCH!>l.<!DEPRECATION!>getFirst<!>()<!>)

compiler/testData/diagnostics/tests/testsWithJava21/memberExtensionForHiddenInDeclaringMethod.fir.kt

@@ -8,7 +8,7 @@ abstract class A : List<Any> {
 abstract class B : List<Any>
 
 class Test {
-    fun <T> List<T>.<!EXTENSION_SHADOWED_BY_MEMBER!>getFirst<!>() = 1
+    fun <T> List<T>.getFirst() = 1
 
     fun test(a: A, b: B){
         consumeInt(<!ARGUMENT_TYPE_MISMATCH!>a.<!DEPRECATION!>getFirst<!>()<!>)

compiler/testData/diagnostics/tests/testsWithJava21/otherHiddenInDeclaring.fir.kt

@@ -17,7 +17,7 @@ fun String.repeat(n: Int) = 1
 fun String.describeConstable() = 1
 fun String.resolveConstantDesc(lookup: MethodHandles.Lookup) = 1
 
-fun <E : Enum<E>> Enum<E>.<!EXTENSION_SHADOWED_BY_MEMBER!>describeConstable<!>() = 1
+fun <E : Enum<E>> Enum<E>.describeConstable() = 1
 
 enum class MyEnum { E }