Rollup of 6 pull requests
Successful merges:
- #71005 (Reading from the return place is fine)
- #71198 (Const check/promotion cleanup and sanity assertion)
- #71396 (Improve E0308 error message wording again)
- #71452 (Remove outdated reference to interpreter snapshotting)
- #71454 (Inline some function docs in `core::ptr`)
- #71461 (Improve E0567 explanation)
Failed merges:
r? @ghost