]> git.lizzy.rs Git - rust.git/commit
more type sanity checks in Miri
authorRalf Jung <post@ralfj.de>
Fri, 29 May 2020 22:02:30 +0000 (00:02 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 29 May 2020 22:02:30 +0000 (00:02 +0200)
commitc4b6224ea46f57bb59df8d321d8f40e7f2900423
tree27d7f3f11f69b9da77aec5ab12111b1f6a5e35f8
parentad7179d2a409faaf45465862f44efe7f989cd71e
more type sanity checks in Miri
src/librustc_mir/interpret/operand.rs
src/librustc_mir/interpret/place.rs