📝 CodeRabbit Chat: Implement requested code changes - #258

Open

coderabbitai[bot] wants to merge 5 commits into

mainfrom

coderabbitai/chat/590b15d

Commits on Apr 8, 2026

feat(sema): add precise identifier spans for declarations and bindings

leynos
and
devboxerhub[bot]
committed
7783aab
refactor(sema): extract program declaration spec generation to helper function

leynos
and
devboxerhub[bot]
committed
7377cdc
feat(parser, sema): add precise binding spans for rule heads to semantic model

leynos
and
devboxerhub[bot]
committed
fe9aff3

Commits on Apr 9, 2026

fix(sema): pass None for CST handles in nested for loop terms

leynos
and
devboxerhub[bot]
committed
590b15d
📝 CodeRabbit Chat: Implement requested code changes
coderabbitai[bot]
authored
533a730