Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #118003 - matthiaskrgr:rollup-80t3uky, r=matthiaskrgr
Rollup of 3 pull requests
Successful merges:
- #115476 (document ABI compatibility)
- #117688 (Misc changes to StableMIR required to Kani use case.)
- #117998 (On resolve error of `[rest..]`, suggest `[rest @ ..]`)
r? `@ghost`
`@rustbot` modify labels: rollup
