Open
Description
Stacked borrows is an experimental safety model for Rust, and miri runs it. There are still some rough edges so it's okay to fail a Stacked Borrows run, but it's worth starting to look at them now because there may be upstream fixes required. The model may also be replaced by Tree Borrows though I suspect it'll have similar implications for us.
In zerovec we have a ton of violations in the miri run (cargo +nightly miri test --all-features --no-fail-fast
to see all the failures)
A bunch of them do not seem fixable (yet) and I plan to ask upstream. I'll document some of them here first.
cc @sffc