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

Author: bors