Skip to content

Commit ee05ad8

Browse files
committed
Auto merge of #1383 - brson:tikv-trophy, r=RalfJung
Add another tikv stacked borrowing error to trophy case @RalfJung please update it with whatever language is most correct :)
2 parents 7259bc3 + 15c299e commit ee05ad8

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -285,6 +285,7 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows
285285
* [`String::push_str` invalidating existing references into the string](https://github.com/rust-lang/rust/issues/70301)
286286
* [`ryu` using raw pointers outside their valid memory area](https://github.com/dtolnay/ryu/issues/24)
287287
* [ink! creating overlapping mutable references](https://github.com/rust-lang/miri/issues/1364)
288+
* [TiKV creating overlapping mutable reference and raw pointer](https://github.com/tikv/tikv/pull/7709)
288289

289290
## License
290291

0 commit comments

Comments
 (0)