]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #70806 - RalfJung:miri-assignment-check, r=eddyb
authorDylan DPC <dylan.dpc@gmail.com>
Sun, 5 Apr 2020 11:13:14 +0000 (13:13 +0200)
committerGitHub <noreply@github.com>
Sun, 5 Apr 2020 11:13:14 +0000 (13:13 +0200)
commit31b8d65803c88e4e267b3aedb81164bf63ef99f3
tree63d42c0cdf224a25a8bea5be1c6cfc2cc190555c
parentc185c4fe4740227100c869da44825ca6eb80be74
parente52a4519131bccc732f53ec13582016bb2b1d04a
Rollup merge of #70806 - RalfJung:miri-assignment-check, r=eddyb

fix Miri assignment sanity check

Thanks @eddyb for pointing me to the right APIs!

r? @eddyb
Fixes https://github.com/rust-lang/rust/issues/70804