message: trophy case: add rand; separate definite bugs from stacked-borrows-is-not-yet-official bugs
diff: @@ -308,14 +308,20 @@ used according to their aliasing restrictions.
  ## Bugs found by Miri
  -Miri has already found a number of bugs in the Rust standard library, which we collect here.
  +Miri has already found a number of bugs in the Rust standard library and beyond, which we collect here.
  +
  +Definite bugs found:
  * [`Debug for vec_deque::Iter` accessing uninitialized memory](https://github.com/rust-lang/rust/issues/53566)
  * [`From<&[T]> for Rc` creating a not sufficiently aligned reference](https://github.com/rust-lang/rust/issues/54908)
  * [`BTreeMap` creating a shared reference pointing to a too small allocation](https://github.com/rust-lang/rust/issues/54957)
  -* [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)
  * [Futures turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/56319)
  * [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200)
  +* [`rand` performing unaligned reads](https://github.com/rust-random/rand/issues/779)
  +
  +Violations of Stacked Borrows found that are likely bugs (but Stacked Borrows is currently just an experiment):
  +
  +* [`VecDeque` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/56161)
  * [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431)
  * [`LinkedList` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/60072)
  