Rollup of 10 pull requests
Successful merges:
- #72014 (Deprecated emoji)
- #72019 (Fix debug assertion in error code)
- #72027 (Use CDN for ci-caches on download)
- #72044 (use min_specialization for some rustc crates where it requires no changes)
- #72052 (display `ConstKind::Param`)
- #72067 (Emit a warning when optimization fuel runs out)
- #72072 (doc: minus (U+2212) instead of dash (U+002D) for negative infinity)
- #72077 (Improve E0571 wording)
- #72107 (Clean up E0579 explanation)
- #72109 (Fix clippy warnings)
Failed merges:
r? @ghost