message: another for the trophy case
diff: @@ -453,6 +453,7 @@ Definite bugs found:
  * [`encoding_rs` doing out-of-bounds pointer arithmetic](https://github.com/hsivonen/encoding_rs/pull/53)
  * [TiKV using `Vec::from_raw_parts` incorrectly](https://github.com/tikv/agatedb/pull/24)
  * Incorrect doctests for [`AtomicPtr`](https://github.com/rust-lang/rust/pull/84052) and [`Box::from_raw_in`](https://github.com/rust-lang/rust/pull/84053)
  +* [Insufficient alignment in `ThinVec`](https://github.com/Gankra/thin-vec/pull/27)
  Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):
  