Rollup of 6 pull requests#105008

Merged

bors merged 22 commits into

rust-lang:masterfrom

Dylan-DPC:rollup-wcd19yu

Nov 28, 2022

Commits on Nov 26, 2022

simplify some binder shifting logic
compiler-errors
committed

Commits on Nov 28, 2022