Skip to content

Relate OuterFnParam to locals via FnParam::at_here in loop invariants#156

Draft
coord-e wants to merge 2 commits into
mainfrom
claude/fnparam-generic-local-relation-y3jldo
Draft

Relate OuterFnParam to locals via FnParam::at_here in loop invariants#156
coord-e wants to merge 2 commits into
mainfrom
claude/fnparam-generic-local-relation-y3jldo

test: add mut-borrow at_here case and pair the direct-reference test

ab662db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar