Repository navigation

Rollup of 9 pull requests - #114294

Merged

bors merged 13 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-yk78pvd

Jul 31, 2023

Merged

Rollup of 9 pull requests#114294
bors merged 13 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-yk78pvd

Commits on Jul 28, 2023
- refactor builtin unsize handling, extend comments
  lcnr
  committed
  f1753ff
- fix comment
  lcnr
  committed
  17f87c5
Commits on Jul 30, 2023
Commits on Jul 31, 2023