1 - // MIR for `assume` before LowerIntrinsics
2 + // MIR for `assume` after LowerIntrinsics
5 let mut _0: (); // return place in scope 0 at $DIR/lower_intrinsics.rs:+0:17: +0:17
6 let _1: (); // in scope 0 at $DIR/lower_intrinsics.rs:+2:9: +2:38
11 StorageLive(_1); // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
12 - _1 = std::intrinsics::assume(const true) -> bb1; // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
14 - // + span: $DIR/lower_intrinsics.rs:72:9: 72:32
15 - // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(bool) {std::intrinsics::assume}, val: Value(<ZST>) }
16 + assume(const true); // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
17 + goto -> bb1; // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
21 StorageDead(_1); // scope 1 at $DIR/lower_intrinsics.rs:+2:38: +2:39
22 _0 = const (); // scope 1 at $DIR/lower_intrinsics.rs:+1:5: +3:6
23 return; // scope 0 at $DIR/lower_intrinsics.rs:+4:2: +4:2