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

another TiKV bug for the trophy case :)

Cc `@brson` thanks for the ping!

Author: bors

README.md

@@ -385,6 +385,7 @@ Definite bugs found:
 * [`servo_arc` creating a dangling shared reference](https://github.com/servo/servo/issues/26357)
 * [TiKV constructing out-of-bounds pointers (and overlapping mutable references)](https://github.com/tikv/tikv/pull/7751)
 * [`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)
 
 Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment):