From b31209a38a4125ad35e8ed5b93f04f21c0129f94 Mon Sep 17 00:00:00 2001
From: Pavel Mikhailovskii <pavel.mikhailovskii@jetbrains.com>
Date: Thu, 8 Dec 2022 15:33:28 +0100
Subject: [PATCH] KT-51951 Add a test

---
 .../FirBlackBoxCodegenTestGenerated.java        |  6 ++++++
 .../contextReceivers/kt51951.kt                 | 17 +++++++++++++++++
 .../codegen/IrBlackBoxCodegenTestGenerated.java |  6 ++++++
 3 files changed, 29 insertions(+)
 create mode 100644 compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51951.kt

diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
index 014260ff22b..42c14b9cb97 100644
--- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
+++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
@@ -17468,6 +17468,12 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT
                 runTest("compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51863.kt");
             }
 
+            @Test
+            @TestMetadata("kt51951.kt")
+            public void testKt51951() throws Exception {
+                runTest("compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51951.kt");
+            }
+
             @Test
             @TestMetadata("kt52207.kt")
             public void testKt52207() throws Exception {
diff --git a/compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51951.kt b/compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51951.kt
new file mode 100644
index 00000000000..068a5b27525
--- /dev/null
+++ b/compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51951.kt
@@ -0,0 +1,17 @@
+// !LANGUAGE: +ContextReceivers
+// TARGET_BACKEND: JVM_IR
+// WITH_STDLIB
+
+typealias StringProvider = () -> String
+
+context(StringProvider)
+fun doSomething() {
+    println(this@StringProvider())
+}
+
+fun box(): String {
+    with({ "" }) {
+        doSomething()
+    }
+    return "OK"
+}
\ No newline at end of file
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
index bc3c8f59a74..af342588eba 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
@@ -17468,6 +17468,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
                 runTest("compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51863.kt");
             }
 
+            @Test
+            @TestMetadata("kt51951.kt")
+            public void testKt51951() throws Exception {
+                runTest("compiler/testData/codegen/box/extensionFunctions/contextReceivers/kt51951.kt");
+            }
+
             @Test
             @TestMetadata("kt52207.kt")
             public void testKt52207() throws Exception {