Skip to content

Support FnParam for closure-typed function parameters in invariants#169

Merged
coord-e merged 2 commits into
mainfrom
claude/fnparam-closure-type-9yialw
Jul 4, 2026
Merged

Support FnParam for closure-typed function parameters in invariants#169
coord-e merged 2 commits into
mainfrom
claude/fnparam-closure-type-9yialw

fixup! Lower closure type params nested inside FnParam and other paths

04547f1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar