1 #![feature(core_intrinsics, rustc_attrs)]
3 use std::intrinsics::rustc_peek;
5 #[rustc_mir(rustc_peek_liveness, stop_after_dataflow)]
6 fn foo() -> Option<i32> {
9 // `x` is live here since it is used in the next statement...
14 // But not here, since it is overwritten below
15 rustc_peek(x); //~ ERROR rustc_peek: bit not set