ICE when using miri_print_borrow_state
with -Zmiri-disable-stacked-borrows
#3459
Labels
A-aliasing
Area: This affects the aliasing model (Stacked/Tree Borrows)
C-bug
Category: This is a bug.
E-good-first-issue
A good way to start contributing, mentoring is available
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?)
The text was updated successfully, but these errors were encountered: