Rollup of 6 pull requests#106087

Merged

bors merged 15 commits intorust-lang:masterfrom

Noratrieb:rollup-2m3nies

Dec 23, 2022

Commits on Dec 17, 2022

Make the pre-push script work on directories with spaces
jyn514
committed

Commits on Dec 19, 2022

implement the skeleton of the updated trait solver
lcnr
committed

Commits on Dec 20, 2022

dedup assembly
lcnr
committed

Commits on Dec 22, 2022

Commits on Dec 23, 2022