                                            // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
           StorageDead(_2);                 // scope 0 at $DIR/instrument_coverage.rs:13:5: 13:6
           return;                          // scope 0 at $DIR/instrument_coverage.rs:14:2: 14:2
-      }
-  
-      bb6 (cleanup): {
-          resume;                          // scope 0 at $DIR/instrument_coverage.rs:8:1: 14:2
 +     }
 + 
 +     bb7: {
 +         StorageDead(_4);                 // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
-+         falseUnwind -> [real: bb1, cleanup: bb6]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
++         falseUnwind -> [real: bb1, cleanup: bb2]; // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
       }
   }
   

          goto -> bb0;                     // scope 0 at $DIR/instrument_coverage.rs:9:5: 13:6
      }
  
      bb5: {
          _0 = const ();                   // scope 0 at $DIR/instrument_coverage.rs:11:13: 11:18
                                           // ty::Const
                                           // + ty: ()

  
      bb1: {
          StorageLive(_2);                 // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17
          _2 = const bar() -> [return: bb3, unwind: bb2]; // scope 0 at $DIR/instrument_coverage.rs:10:12: 10:17
                                           // ty::Const
                                           // + ty: fn() -> bool {bar}
                                           // + val: Value(Scalar(<ZST>))
