From 6670f43917db0df610401f50dc62c5d262c496b0 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 6 Mar 2020 10:46:12 +0100 Subject: [PATCH] README: add another bug Miri found --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index f18a5d668c39..3a7d92e906c1 100644 --- a/README.md +++ b/README.md @@ -245,6 +245,7 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows * [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431) * [`LinkedList` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/60072) * [`Vec::push` invalidating existing references into the vector](https://github.com/rust-lang/rust/issues/60847) +* [`align_to_mut` violating uniqueness of mutable references](https://github.com/rust-lang/rust/issues/68549) ## License