KT-51397 Add a test (has been fixed elsewhere)

2022-12-27 12:50:43 +00:00
parent 9ca5e1b421
commit 076bedd065
3 changed files with 24 additions and 0 deletions
@@ -0,0 +1,12 @@
+// !LANGUAGE: +ContextReceivers
+// TARGET_BACKEND: JVM_IR
+
+fun box(): String {
+    with(0) {
+        Child()
+    }
+    return "OK"
+}
+
+context(Int) open class Parent
+context(Int) class Child : Parent()