[FIR] Report PARAMETER_NAME_CHANGED_ON_OVERRIDE for context parameters

#KT-81684 Fixed

Author: cypressious

analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLDiagnosticsFirTestGenerated.java

@@ -11,10 +11,10 @@ interface I2 {
     context(y: Int) fun foo()
 }
 
-interface I3 : I1, I2
+<!DIFFERENT_NAMES_FOR_THE_SAME_PARAMETER_IN_SUPERTYPES!>interface I3<!> : I1, I2
 
 class C1 : I1 {
-    context(xx: Int) override fun foo() {}
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>xx<!>: Int) override fun foo() {}
 }
 
 // FILE: test2.kt
@@ -28,10 +28,10 @@ interface I2 {
     context(_: Int) fun foo()
 }
 
-interface I3 : I1, I2
+<!DIFFERENT_NAMES_FOR_THE_SAME_PARAMETER_IN_SUPERTYPES!>interface I3<!> : I1, I2
 
 class C1 : I1 {
-    context(xx: Int) override fun foo() {}
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>xx<!>: Int) override fun foo() {}
 }
 
 // FILE: test3.kt
@@ -45,10 +45,10 @@ interface I2 {
     context(_: Int) fun foo()
 }
 
-interface I3 : I1, I2
+<!DIFFERENT_NAMES_FOR_THE_SAME_PARAMETER_IN_SUPERTYPES!>interface I3<!> : I1, I2
 
 class C1 : I1 {
-    context(_: Int) override fun foo() {}
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>_<!>: Int) override fun foo() {}
 }
 
 /* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, functionDeclarationWithContext, interfaceDeclaration,

analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLPartialDiagnosticsFirTestGenerated.java

@@ -0,0 +1,36 @@
+// RUN_PIPELINE_TILL: FRONTEND
+// LANGUAGE: +ContextParameters +ExplicitContextArguments
+
+interface I {
+    context(s: String)
+    fun simple1()
+
+    context(s: String)
+    fun unnamedInOverride()
+
+    context(_: String)
+    fun unnamedInBase()
+}
+
+class C : I {
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>string<!>: String)
+    override fun simple1() {}
+
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>_<!>: String)
+    override fun unnamedInOverride() {}
+
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>s<!>: String)
+    override fun unnamedInBase() {}
+}
+
+fun test(c: C) {
+    c.<!NO_CONTEXT_ARGUMENT!>simple1<!>(<!NAMED_PARAMETER_NOT_FOUND!>s<!> = "")
+    c.simple1(string = "")
+
+    c.<!NO_CONTEXT_ARGUMENT!>unnamedInOverride<!>(<!NAMED_PARAMETER_NOT_FOUND!>s<!> = "")
+
+    c.unnamedInBase(s = "")
+}
+
+/* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, functionDeclarationWithContext, interfaceDeclaration,
+stringLiteral */

analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLReversedDiagnosticsFirTestGenerated.java

@@ -17,10 +17,10 @@ abstract class Base<T> {
 }
 
 class Child : Base<String>() {
-    context(child: RChild)
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>child<!>: RChild)
     override fun <RChild> String.foo(): Int? = 1
 
-    context(child: RChild)
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>child<!>: RChild)
     override fun <RChild> String.foo(t: String): Int? = 1
 
     context(child: RChild)

compiler/fir/analysis-tests/testData/resolve/contextParameters/diagnostics/contextParameterNameChanged.kt

@@ -12,7 +12,7 @@ open class Base {
 }
 
 class Derived : Base() {
-    context(x: A)
+    context(<!PARAMETER_NAME_CHANGED_ON_OVERRIDE!>x<!>: A)
     override fun foo() {}
 
     context(x: A)

compiler/fir/analysis-tests/testData/resolve/contextParameters/explicit/differentNamesInOverride.kt

@@ -148,12 +148,22 @@ val FirCallableSymbol<*>.hasExplicitReturnType: Boolean
 
 fun FirNamedFunctionSymbol.checkValueParameterNamesWith(
     otherFunctionSymbol: FirNamedFunctionSymbol,
-    reportAction: (currentParameter: FirValueParameterSymbol, conflictingParameter: FirValueParameterSymbol, parameterIndex: Int) -> Unit
+    reportAction: (currentParameter: FirValueParameterSymbol, conflictingParameter: FirValueParameterSymbol, parameterIndex: Int) -> Unit,
 ) {
-    // We don't handle context parameters here because we specifically allow renaming them in overrides (KT-75815).
-    val valueParameterPairs = valueParameterSymbols.zip(otherFunctionSymbol.valueParameterSymbols)
+    checkValueParameterNamesWith(valueParameterSymbols, otherFunctionSymbol.valueParameterSymbols, reportAction)
+    checkValueParameterNamesWith(contextParameterSymbols, otherFunctionSymbol.contextParameterSymbols, reportAction)
+}
+
+@OptIn(SymbolInternals::class)
+private fun checkValueParameterNamesWith(
+    symbols: List<FirValueParameterSymbol>,
+    otherSymbols: List<FirValueParameterSymbol>,
+    reportAction: (FirValueParameterSymbol, FirValueParameterSymbol, Int) -> Unit,
+) {
+    val valueParameterPairs = symbols.zip(otherSymbols)
     for ((index, valueParameterPair) in valueParameterPairs.withIndex()) {
         val (currentValueParameter, otherValueParameter) = valueParameterPair
+        if (currentValueParameter.fir.isLegacyContextReceiver() || otherValueParameter.fir.isLegacyContextReceiver()) continue
         if (currentValueParameter.name != otherValueParameter.name) {
             reportAction(currentValueParameter, otherValueParameter, index)
         }