- // MIR for `bar` before InstrumentCoverage
+ // MIR for `bar` after InstrumentCoverage
  
  fn bar() -> bool {
      let mut _0: bool;                    // return place in scope 0 at $DIR/instrument_coverage.rs:18:13: 18:17
+     let mut _1: ();                      // in scope 0 at $DIR/instrument_coverage.rs:18:18: 18:18
  
      bb0: {
+         StorageLive(_1);                 // scope 0 at $DIR/instrument_coverage.rs:18:18: 18:18
+         _1 = const std::intrinsics::count_code_region(const 10208505205182607101_u64, const 0_u32, const 529_u32, const 541_u32) -> bb2; // scope 0 at $DIR/instrument_coverage.rs:18:18: 18:18
+                                          // ty::Const
+                                          // + ty: unsafe extern "rust-intrinsic" fn(u64, u32, u32, u32) {std::intrinsics::count_code_region}
+                                          // + val: Value(Scalar(<ZST>))
+                                          // mir::Constant
+                                          // + span: $DIR/instrument_coverage.rs:18:18: 18:18
+                                          // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(u64, u32, u32, u32) {std::intrinsics::count_code_region}, val: Value(Scalar(<ZST>)) }
+                                          // ty::Const
+                                          // + ty: u64
+                                          // + val: Value(Scalar(0x8dabe565aaa2aefd))
+                                          // mir::Constant
+                                          // + span: $DIR/instrument_coverage.rs:18:18: 18:18
+                                          // + literal: Const { ty: u64, val: Value(Scalar(0x8dabe565aaa2aefd)) }
+                                          // ty::Const
+                                          // + ty: u32
+                                          // + val: Value(Scalar(0x00000000))
+                                          // mir::Constant
+                                          // + span: $DIR/instrument_coverage.rs:18:18: 18:18
+                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
+                                          // ty::Const
+                                          // + ty: u32
+                                          // + val: Value(Scalar(0x00000211))
+                                          // mir::Constant
+                                          // + span: $DIR/instrument_coverage.rs:18:18: 18:18
+                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000211)) }
+                                          // ty::Const
+                                          // + ty: u32
+                                          // + val: Value(Scalar(0x0000021d))
+                                          // mir::Constant
+                                          // + span: $DIR/instrument_coverage.rs:18:18: 18:18
+                                          // + literal: Const { ty: u32, val: Value(Scalar(0x0000021d)) }
+     }
+ 
+     bb1 (cleanup): {
+         resume;                          // scope 0 at $DIR/instrument_coverage.rs:18:1: 20:2
+     }
+ 
+     bb2: {
+         StorageDead(_1);                 // scope 0 at $DIR/instrument_coverage.rs:19:5: 19:9
          _0 = const true;                 // scope 0 at $DIR/instrument_coverage.rs:19:5: 19:9
                                           // ty::Const
                                           // + ty: bool
                                           // + val: Value(Scalar(0x01))
                                           // mir::Constant
                                           // + span: $DIR/instrument_coverage.rs:19:5: 19:9
                                           // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
          return;                          // scope 0 at $DIR/instrument_coverage.rs:20:2: 20:2
      }
  }