about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/graph.rs
diff options
context:
space:
mode:
authorYuki Okushi <jtitor@2k36.org>2021-11-30 17:29:09 +0900
committerGitHub <noreply@github.com>2021-11-30 17:29:09 +0900
commita940c680355ab5ba59705603837939f4deabf56c (patch)
tree4e9f72b0e7ac77f647d4494920d4b4fa6f6c9e5e /compiler/rustc_mir_transform/src/coverage/graph.rs
parentae1badb0474f593a4b8b21f21736b24fb85c9d6f (diff)
parent6c3c3e0952b63cfae51392863e94d79c2d76deb9 (diff)
downloadrust-a940c680355ab5ba59705603837939f4deabf56c.tar.gz
rust-a940c680355ab5ba59705603837939f4deabf56c.zip
Rollup merge of #91323 - RalfJung:assert-type, r=oli-obk
CTFE: support assert_zero_valid and assert_uninit_valid

This ensures the implementation of all three type-based assert_ intrinsics remains consistent in Miri.

`assert_inhabited` recently got stabilized in https://github.com/rust-lang/rust/pull/90896 (meaning stable `const fn` can call it), so do the same with these other intrinsics.

Cc ```@rust-lang/wg-const-eval```
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions