Rollup of 6 pull requests#113837

Merged

bors merged 14 commits intorust-lang:masterfrom

matthiaskrgr:rollup-v4xud4s

Jul 18, 2023

Commits on Jul 17, 2023

exhaustive matches are good
lcnr
committed

Commits on Jul 18, 2023