]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #67459 - ssomers:#67438, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 28 Dec 2019 16:04:40 +0000 (16:04 +0000)
committerbors <bors@rust-lang.org>
Sat, 28 Dec 2019 16:04:40 +0000 (16:04 +0000)
commite39ae6f883b1ee47384daf6d32ff5e71272ce977
tree132ea4fde5dcd1df6f1d44d6fa6a9473115abc7b
parent2ee25dae1228978322fe340115fd4665bb4c8204
parente3c814e62332ec634c2de2e42468a258cf31b178
Auto merge of #67459 - ssomers:#67438, r=RalfJung

prune ill-conceived BTreeMap iter_mut assertion and test its mutability

Proposal to deal with #67438 (and I'm more sure now that this is the right thing to do).
Passes testing with miri.