Rewrite assumptions on binders goal - #742

Rewrite assumptions on binders goal#742

BoxyUwU wants to merge 2 commits into

mainrust-lang/goals:mainfrom

assbind_rewriterust-lang/goals:assbind_rewriteCopy head branch name to clipboard