Matthias Krüger 9243aeecda Rollup merge of #128851 - compiler-errors:validate-mir-opt-mir, r=matthiaskrgr ...

Add comment that bors did not see pushed before it merged

In #128612, bors merged 470ada2de0 instead of 1e07c19.

This means it dropped a useful comment I added, and a stage rename that is more descriptive.

2024-08-09 00:03:39 +02:00

..

src

Rollup merge of #128851 - compiler-errors:validate-mir-opt-mir, r=matthiaskrgr

2024-08-09 00:03:39 +02:00

Cargo.toml

Use dep: for crate dependencies

2024-07-15 12:40:10 -04:00

messages.ftl

…