Skip to content

A def's body goes to --verdict through its lowered form once, so its annotations move with its binders under η, rebuild and let inlining (#1665, #1669) - #1666

Merged
Lorenzobattistela merged 4 commits into
bendlang:mainfrom
aaaxn:eta-binder-levels
Oct 20, 2026
Merged

A def's body goes to --verdict through its lowered form once, so its annotations move with its binders under η, rebuild and let inlining (#1665, #1669)#1666
Lorenzobattistela merged 4 commits into
bendlang:mainfrom
aaaxn:eta-binder-levels

A def's body goes to --verdict through its lowered form once, so its …

bafce16
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
repo-gate
succeeded Oct 19, 2026 in 19s