A λ rebuilt as a match keeps its annotations on its own binders, so --verdict checks what bend2 checks (#1669) - #1670

A λ rebuilt as a match keeps its annotations on its own binders, so --verdict checks what bend2 checks (#1669)#1670

aaaxn wants to merge 3 commits into

bendlang:mainbendlang/bend:mainfrom

aaaxn:rebuild-binder-levelsaaaxn/bend:rebuild-binder-levelsCopy head branch name to clipboard