Kotlin: receiver-typed member calls, and park them for cross-repo merges - #3389

Open

xiongjianxu wants to merge 11 commits into

Graphify-Labs:v8from

xiongjianxu:feat/kotlin-cross-repo-member-calls

Commits on Sep 11, 2026

Resolve Kotlin member calls through the receiver's declared type
xiongjianxu
committed
f3a7fef
Park Kotlin member calls a merged graph can finish (#3152)
xiongjianxu
committed
8705f48
fix(kotlin): index Kotlin/Java declarations only, score on the rubric
xiongjianxu
committed
b43ca4e
refactor(kotlin): gate the declaration index by interop family, as the shared resolver does
xiongjianxu
committed
c8f7783
fix(kotlin): let any JVM-family declaration answer a parked Kotlin call
xiongjianxu
committed
b01a56e
fix(kotlin): walk a body in document order so the first local binding wins
xiongjianxu
committed
b67fd0d
fix(kotlin): let a property outrank a plain constructor parameter
xiongjianxu
committed
5bfac51
fix(kotlin): consult the receiver table before reading a receiver as a type
xiongjianxu
committed
75eac94
fix(kotlin): scope parameter and local receiver types to their own function
xiongjianxu
committed
c8857b8
fix(kotlin): read a qualified receiver type from its last segment
xiongjianxu
committed
3694b1e
fix(kotlin): read a qualified constructor call to its last segment
xiongjianxu
committed
b241de4