src/test/mir-opt/issue_41697.{{impl}}-{{constant}}.SimplifyCfg-promote-consts.after.mir.64bit

   1 // MIR for `<impl at $DIR/issue-41697.rs:18:1: 22:2>::{{constant}}#0` after SimplifyCfg-promote-consts
   2
   3 <impl at $DIR/issue-41697.rs:18:1: 22:2>::{{constant}}#0: usize = {
   4     let mut _0: usize;                   // return place in scope 0 at $DIR/issue-41697.rs:18:19: 18:22
   5     let mut _1: (usize, bool);           // in scope 0 at $DIR/issue-41697.rs:18:19: 18:22
   6
   7     bb0: {
   8         _1 = CheckedAdd(const 1_usize, const 1_usize); // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
   9         assert(!move (_1.1: bool), "attempt to compute `{} + {}` which would overflow", const 1_usize, const 1_usize) -> [success: bb2, unwind: bb1]; // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  10     }
  11
  12     bb1 (cleanup): {
  13         resume;                          // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  14     }
  15
  16     bb2: {
  17         _0 = move (_1.0: usize);         // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  18         return;                          // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  19     }
  20 }