From: bors Date: Sat, 25 Apr 2020 21:19:56 +0000 (+0000) Subject: Auto merge of #1368 - Robbepop:add-new-trophy-for-inks-lazyarray, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=97ae5b6d87b7bcd6c1aeb5efd5133b8719321b0f;p=rust.git 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. --- 97ae5b6d87b7bcd6c1aeb5efd5133b8719321b0f