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
This commit is contained in:
bors 2024-10-08 15:22:08 +00:00
commit c0c2f69d01

Diff content is not available