Don't repeat lifetime names from outer binder in print#102514

Merged

bors merged 4 commits intorust-lang:masterfrom b-naber:binder-print-fixes

Oct 9, 2022

Commits on Sep 30, 2022

Commits on Oct 3, 2022

re-name params + add comments
b-naber
committed

Commits on Oct 8, 2022

handle late-bound vars from inner binders correctly and add test
b-naber
committed