Auto merge of #1979 - RalfJung:trophy, r=RalfJung

another for the trophy case

Author: bors

README.md

@@ -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):