diff options
| author | bors <bors@rust-lang.org> | 2024-03-04 09:21:33 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-04 09:21:33 +0000 |
| commit | e87f82578d4474fc1034b6aeaa8414ba690f165d (patch) | |
| tree | 183d5b5c09caf31c020ae17f755cd270e8148653 /compiler/rustc_interface/src | |
| parent | ede97c651094cbdd5d70925e43c7726a9ca83c5a (diff) | |
| parent | f70feaf604366c4e90e9d17ecd406fa182e54583 (diff) | |
| download | rust-e87f82578d4474fc1034b6aeaa8414ba690f165d.tar.gz rust-e87f82578d4474fc1034b6aeaa8414ba690f165d.zip | |
Auto merge of #3351 - RalfJung:diagnostic-dedup-considered-harmful, r=RalfJung
disable diagnostic deduplication `@oli-obk` is there a better way to do this? Ideally we'd only set this when interpretation starts but the value in the compiler session seems to be immutable. I assume people will do `cargo check` before `cargo miri` so hopefully this won't lead to too much confusion. Fixes https://github.com/rust-lang/miri/issues/3350
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions