Step 17: callable property calls

bytecode_migration_plan.md

@@ -53,6 +53,18 @@ Goal: migrate the compiler so all values live in frames/bytecode, keeping JVM te
 - [x] Step 15: Class-scope `?=` in bytecode.
   - [x] Handle `C.x ?= v` and `C?.x ?= v` for class-scope members without falling back.
   - [x] Add a JVM test for class-scope `?=` on static vars.
+- [ ] Step 16: Remove dead `ToBoolStatement`.
+  - [ ] Confirm no parser/compiler paths construct `ToBoolStatement` and delete it plus interpreter hooks.
+  - [ ] Keep JVM tests green after removal.
+- [x] Step 17: Callable property calls in bytecode.
+  - [x] Support `CallRef` where the target is a `FieldRef` (e.g., `(obj.fn)()`), keeping compile-time resolution.
+  - [x] Add a JVM test for a callable property call compiled to bytecode.
+- [ ] Step 18: Delegated member access in bytecode.
+  - [ ] Remove `containsDelegatedRefs` guard once bytecode emits delegated get/set/call correctly.
+  - [ ] Add JVM coverage for delegated member get/set/call in bytecode.
+- [ ] Step 19: Unknown receiver member access in bytecode.
+  - [ ] Decide on allowed fallback behavior for unknown receiver types without runtime name resolution.
+  - [ ] Add JVM tests for member access on unresolved receiver types and keep compile-time-only resolution.
 
 ## Notes
 

lynglib/src/commonMain/kotlin/net/sergeych/lyng/bytecode/BytecodeCompiler.kt

@@ -3375,13 +3375,6 @@ class BytecodeCompiler(
                 }
             }
         }
-        val fieldTarget = ref.target as? FieldRef
-        if (fieldTarget != null) {
-            throw BytecodeCompileException(
-                "Member call requires compile-time receiver type: ${fieldTarget.name}",
-                Pos.builtIn
-            )
-        }
         val initClass = when (localTarget?.name) {
             "List" -> ObjList.type
             "Map" -> ObjMap.type

lynglib/src/commonTest/kotlin/BytecodeRecentOpsTest.kt

@@ -159,6 +159,18 @@ class BytecodeRecentOpsTest {
         )
     }
 
+    @Test
+    fun callablePropertyCall() = runTest {
+        eval(
+            """
+            class C { var f = { x -> x + 1 } }
+            val c = C()
+            val r = (c.f)(2)
+            assertEquals(3, r)
+            """.trimIndent()
+        )
+    }
+
     @Test
     fun qualifiedThisValueRef() = runTest {
         eval(