Skip to content

feat(effects)!: Improve error messages by passing callee into check_call/synthesize_call#1846

Open
acl-cqc wants to merge 11 commits into
effectsfrom
acl/check_syn_call_target
Open

feat(effects)!: Improve error messages by passing callee into check_call/synthesize_call#1846
acl-cqc wants to merge 11 commits into
effectsfrom
acl/check_syn_call_target

Commits

Commits on Jun 19, 2026