1- // MIR for `assume` before LowerIntrinsics 2+ // MIR for `assume` after LowerIntrinsics 3 4 fn assume() -> () { 5 let mut _0: (); 6 let _1: (); 7 scope 1 { 8 } 9 10 bb0: { 11 StorageLive(_1); 12- _1 = std::intrinsics::assume(const true) -> [return: bb1, unwind unreachable]; 13+ assume(const true); 14+ goto -> bb1; 15 } 16 17 bb1: { 18 StorageDead(_1); 19 _0 = const (); 20 return; 21 } 22 } 23 24