Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #131404 - matthiaskrgr:rollup-z0dawoo, r=matthiaskrgr
Rollup of 3 pull requests
Successful merges:
- #131348 (More `rustc_infer` cleanups)
- #131392 (Drop compiletest legacy directive check)
- #131395 (Add a mailmap entry for bjorn3)
r? `@ghost`
`@rustbot` modify labels: rollup
