tests/mir-opt/inline/inline_diverging.f.Inline.diff

   1 - // MIR for `f` before Inline
   2 + // MIR for `f` after Inline
   3
   4   fn f() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/inline_diverging.rs:+0:12: +0:12
   6       let mut _1: !;                       // in scope 0 at $DIR/inline_diverging.rs:+0:12: +2:2
   7       let _2: !;                           // in scope 0 at $DIR/inline_diverging.rs:+1:5: +1:12
   8 +     scope 1 (inlined sleep) {            // at $DIR/inline_diverging.rs:8:5: 8:12
   9 +     }
  10
  11       bb0: {
  12           StorageLive(_2);                 // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:12
  13 -         _2 = sleep();                    // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:12
  14 -                                          // mir::Constant
  15 -                                          // + span: $DIR/inline_diverging.rs:8:5: 8:10
  16 -                                          // + literal: Const { ty: fn() -> ! {sleep}, val: Value(<ZST>) }
  17 +         goto -> bb1;                     // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:12
  18 +     }
  19 +
  20 +     bb1: {
  21 +         goto -> bb1;                     // scope 1 at $DIR/inline_diverging.rs:39:5: 39:12
  22       }
  23   }
  24