Rollup of 5 pull requests#116376

Merged

bors merged 10 commits intorust-lang:masterfrom

matthiaskrgr:rollup-b3d14gq

Oct 3, 2023

Commits on Sep 20, 2023

Cleanup unused messages in ftl files
chenyukang
committed

Commits on Sep 30, 2023

Validate `~const` trait bounds on associated fns.
Raekye
committed

Commits on Oct 2, 2023

Rename both of the Match relations
compiler-errors
committed

Commits on Oct 3, 2023