anonymize all bound vars, not just regions#99730

Merged

bors merged 3 commits intorust-lang:masterfrom lcnr:bound-vars-anon

Jul 30, 2022

+260-138

Commits on Jul 28, 2022

Commits on Jul 29, 2022

optimize bound vars replacement :3
lcnr
committed