]> git.lizzy.rs Git - rust.git/commit
Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 24 Jun 2019 21:59:22 +0000 (21:59 +0000)
committerbors <bors@rust-lang.org>
Mon, 24 Jun 2019 21:59:22 +0000 (21:59 +0000)
commit2bd22c03ebf575d19cc1bcb6e1837d15a105a267
tree63395d70eff9b9f1e7dcf98707f6e3852469b40f
parentc65fbc49d7b9269b277b7207f1044ee851f16b16
parentb66cf703684b3678aae162ced43c6846f105a681
Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung

adjust for refactored memory pointer checks

The Miri side of https://github.com/rust-lang/rust/pull/62081.