Auto merge of #1368 - Robbepop:add-new-trophy-for-inks-lazyarray, r=RalfJung

Add miri trophy for LazyArray::swap (ink! PR)

Details to the found in https://github.com/rust-lang/miri/issues/1364.
Note that this was not a found in a `master` or production release of ink!, however without analysing the code via `miri` this could have potentially happened.

diff --git a/README.md b/README.md
index ea2aa955ba4da808eeea7f1054424ee184c5889c..ecff779873abfa28fd8db620814692c2fc8dca9c 100644 (file)
--- a/README.md
+++ b/README.md
@@ -281,6 +281,7 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows
 * [Aliasing mutable references in `sized-chunks`](https://github.com/bodil/sized-chunks/issues/8)
 * [`String::push_str` invalidating existing references into the string](https://github.com/rust-lang/rust/issues/70301)
 * [`ryu` using raw pointers outside their valid memory area](https://github.com/dtolnay/ryu/issues/24)
+* [ink! creating overlapping mutable references](https://github.com/rust-lang/miri/issues/1364)
 
 ## License