diff --git a/compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.kt b/compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.kt new file mode 100644 index 00000000000..64ba4bfcd6d --- /dev/null +++ b/compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.kt @@ -0,0 +1,5 @@ +interface A + +fun test(a: A, block: A.() -> Int) { + a.block() +} \ No newline at end of file diff --git a/compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.txt b/compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.txt new file mode 100644 index 00000000000..7965dac87a3 --- /dev/null +++ b/compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.txt @@ -0,0 +1,6 @@ +FILE: invokeOfLambdaWithReceiver.kt + public abstract interface A : R|kotlin/Any| { + } + public final fun test(a: R|A|, block: R|A.() -> kotlin/Int|): R|kotlin/Unit| { + R|/a|.#() + } diff --git a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java index 403323724bf..1400dd2ac3a 100644 --- a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java +++ b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java @@ -873,6 +873,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest { runTest("compiler/fir/resolve/testData/resolve/problems/asImports.kt"); } + @TestMetadata("invokeOfLambdaWithReceiver.kt") + public void testInvokeOfLambdaWithReceiver() throws Exception { + runTest("compiler/fir/resolve/testData/resolve/problems/invokeOfLambdaWithReceiver.kt"); + } + @TestMetadata("javaAccessorConversion.kt") public void testJavaAccessorConversion() throws Exception { runTest("compiler/fir/resolve/testData/resolve/problems/javaAccessorConversion.kt");