[Tests] Add tests for explicit context argument passing

#KT-81684

Author: cypressious

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

@@ -0,0 +1,17 @@
+// RUN_PIPELINE_TILL: FRONTEND
+// LANGUAGE: +ContextParameters -ExplicitContextArguments
+
+class A
+class B
+
+context(a: A) fun needsA() { }
+context(b: B) fun needsB() { }
+context(a: A, b: B) fun needsBoth() { }
+
+fun explicit() {
+    <!NO_CONTEXT_ARGUMENT!>needsA<!>(<!NAMED_PARAMETER_NOT_FOUND!>a<!> = A())
+    <!NO_CONTEXT_ARGUMENT!>needsB<!>(<!NAMED_PARAMETER_NOT_FOUND!>b<!> = B())
+    <!NO_CONTEXT_ARGUMENT, NO_CONTEXT_ARGUMENT!>needsBoth<!>(<!NAMED_PARAMETER_NOT_FOUND!>a<!> = A(), <!NAMED_PARAMETER_NOT_FOUND!>b<!> = B())
+}
+
+/* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, functionDeclarationWithContext */

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

@@ -0,0 +1,39 @@
+// RUN_PIPELINE_TILL: FRONTEND
+// LANGUAGE: +ContextParameters +ExplicitContextArguments
+// FILE: J.java
+public class J implements I {
+    public void foo(String x) {}
+}
+
+// FILE: J2.java
+public class J2 implements I, I2 {
+    public void foo(String x) {}
+}
+
+// FILE: J3.java
+public class J3 implements I, I3 {
+    public void foo(String x) {}
+}
+
+// FILE: test.kt
+interface I {
+    context(s: String) fun foo()
+}
+
+interface I2 {
+    context(s2: String) fun foo()
+}
+
+interface I3 {
+    context(_: String) fun foo()
+}
+
+fun test(j: J, j2: J2, j3: J3) {
+    j.foo(s = "")
+    j2.foo(<!NAME_FOR_AMBIGUOUS_PARAMETER!>s<!> = "")
+    j2.foo(<!NAME_FOR_AMBIGUOUS_PARAMETER!>s2<!> = "")
+    j3.foo(s = "")
+}
+
+/* GENERATED_FIR_TAGS: functionDeclaration, functionDeclarationWithContext, interfaceDeclaration, javaType,
+stringLiteral */

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

@@ -0,0 +1,12 @@
+// RUN_PIPELINE_TILL: FRONTEND
+// LANGUAGE: +ContextParameters +ExplicitContextArguments
+
+context(c: String)
+fun foo(s: String, s2: String) {}
+
+fun test() {
+    foo(s = "", "", c = "")
+    foo(c = "2", <!MIXING_NAMED_AND_POSITIONAL_ARGUMENTS!>""<!>, <!NO_VALUE_FOR_PARAMETER!>s = "")<!>
+}
+
+/* GENERATED_FIR_TAGS: functionDeclaration, functionDeclarationWithContext, stringLiteral */

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

@@ -0,0 +1,20 @@
+// RUN_PIPELINE_TILL: FRONTEND
+// LANGUAGE: +ContextParameters +ExplicitContextArguments
+
+class C {
+    context(s: String)
+    operator fun get(i: Int) = ""
+
+    context(s: String)
+    operator fun invoke(i: Int) = ""
+}
+
+fun test(c: C, f: context(String) () -> Unit) {
+    <!NO_CONTEXT_ARGUMENT!>c[1, <!ASSIGNMENT_IN_EXPRESSION_CONTEXT, TOO_MANY_ARGUMENTS!><!UNRESOLVED_REFERENCE!>s<!> = ""<!>]<!>
+
+    c(1, s = "")
+    f(<!NAMED_ARGUMENTS_NOT_ALLOWED!>p1<!> = "")
+}
+
+/* GENERATED_FIR_TAGS: assignment, classDeclaration, functionDeclaration, functionDeclarationWithContext, integerLiteral,
+operator, stringLiteral */

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

@@ -0,0 +1,17 @@
+FILE: optional.kt
+    public final class A : R|kotlin/Any| {
+        public constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    context(a: R|A|)
+    public final fun foo(): R|kotlin/Unit| {
+    }
+    public final fun foo(a: R|A| = R|/A.A|(), x: R|kotlin/Int| = Int(1)): R|kotlin/Unit| {
+    }
+    public final fun test(): R|kotlin/Unit| {
+        R|/foo|()
+        context(R|/A.A|()) R|/foo|()
+        R|/foo|(R|/A.A|(), Int(2))
+    }