]> git.lizzy.rs Git - rust.git/commit
Auto merge of #779 - christianpoveda:intptrcast-model, r=RalfJung,oli-obk
authorbors <bors@rust-lang.org>
Wed, 26 Jun 2019 14:52:03 +0000 (14:52 +0000)
committerbors <bors@rust-lang.org>
Wed, 26 Jun 2019 14:52:03 +0000 (14:52 +0000)
commit945f007c0d305c3ec069b5e5d911ef783f6d70e7
tree45e48f69b4b20bf1aab34cb8bb339c788a47c214
parentd1873b689d4834284db9db92ab1beee48c6928c7
parent7fbf8e53a22925a5ff865b3546f881f7542c4f9e
Auto merge of #779 - christianpoveda:intptrcast-model, r=RalfJung,oli-obk

Implement intptrcast methods

cc https://github.com/rust-lang/miri/issues/224