message: trophy case++
diff: @@ -582,6 +582,7 @@ Definite bugs found:
  * [`rkyv` constructing a `Box<[u8]>` from an overaligned allocation](https://github.com/rkyv/rkyv/commit/a9417193a34757e12e24263178be8b2eebb72456)
  * [Data race in `thread::scope`](https://github.com/rust-lang/rust/issues/98498)
  * [`regex` incorrectly handling unaligned `Vec<u8>` buffers](https://www.reddit.com/r/rust/comments/vq3mmu/comment/ienc7t0?context=3)
  +* [Incorrect use of `compare_exchange_weak` in `once_cell`](https://github.com/matklad/once_cell/issues/186)
  Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):
  