Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #2888 - Vanille-N:tb-diags, r=RalfJung
TB diagnostics: avoid printing irrelevant events History contains some events that are relevant to the location but not useful to understand the error. We can make the selection of events more precise, from only "does it affect the location" to also "is it relevant for this kind of error" This is also the occasion to fix https://github.com/rust-lang/miri/pull/2867#issuecomment-1530065511 [Solved] Draft: find a way for blanks in the history to not be confusing, as with the current version the history can show the creation as `Reserved` then show where it transitioned from `Frozen` to `Disabled`, but it will say nothing of the `Reserved -> Frozen` leading up to it.
bors 2023-05-31
parent a086d6e · parent 476b583 · commit 854ee36
0 files changed, 0 insertions, 0 deletions