Open jendrikw opened 3 months ago
Contrary to the suggestion, there is no newer nightly available at the time of writing 2024-04-08T22:31+02:00. Where can I report this bug?
That message is from the compiler's ICE hook, report it at rust-lang/rust
Yeah this should probably just emit a warning or print that no borrow state is being tracked. This should be easy to do, the code to change is here:
Also we should probably print an error when the Alloc ID is 0, rather than just not printing anything.
I understand that combination is a little silly, but it could have a better error message.
Reproduction: run
MIRIFLAGS='-Zmiri-disable-stacked-borrows' cargo miri run
with this content inmain.rs
:Complete Output:
(Side note: Contrary to the suggestion, there is no newer nightly available at the time of writing 2024-04-08T22:31+02:00. Where can I report this bug?)