Disable diagnostic duplication #3350
Comments
bors
added a commit
that referenced
this issue
Mar 4, 2024
…=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 #3350
RalfJung
pushed a commit
to RalfJung/rust
that referenced
this issue
Mar 9, 2024
…armful, 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 rust-lang/miri#3350
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We'll want to disable diagnostic duplication in Miri, at least when "tracking" of some sort is enabled. I just wasted literal hours debugging why a certain load event did not happen that was supposed to happen, when actually the output just got deduplicated away...
The text was updated successfully, but these errors were encountered: