Skip to content

Exclude closures defined in formula_fn from analysis and borrowck#67

Merged
coord-e merged 2 commits intomainfrom
coord-e/closure-formula-fn-fix
Apr 30, 2026
Merged

Exclude closures defined in formula_fn from analysis and borrowck#67
coord-e merged 2 commits intomainfrom
coord-e/closure-formula-fn-fix

Commits

Commits on Apr 30, 2026