@0⦊fn main() ⦉@0{ let @0⦊mut countdown = 0; if true⦉@0 @1,3⦊{ countdown = 10; }⦉@1,3@2⦊⦉@2 const B: u32 = 100; let @25⦊x⦉@25 = if @4⦊countdown > 7⦉@4 { @5,7,8⦊countdown -= 4; B⦉@5,7,8 } else if @6⦊countdown > 2⦉@6 { if @9,11⦊countdown < 1⦉@9,11 || @18⦊countdown > 5⦉@18 || @14⦊countdown != 9⦉@14 @20,22⦊{ countdown = 0; }⦉@20,22@21⦊⦉@21 @23,24⦊countdown -= 5; countdown⦉@23,24 } else { @10⦊return⦉@10; }; let @25⦊mut countdown = 0; if true⦉@25 @26,28⦊{ countdown = 10; }⦉@26,28@27⦊⦉@27 if @29⦊countdown > 7⦉@29 @30,32,33⦊{ countdown -= 4; }⦉@30,32,33 else if @31⦊countdown > 2⦉@31 { if @34,36⦊countdown < 1⦉@34,36 || @43⦊countdown > 5⦉@43 || @39⦊countdown != 9⦉@39 @45,47⦊{ countdown = 0; }⦉@45,47@46⦊⦉@46 @48,49⦊countdown -= 5⦉@48,49; } else { @35⦊return⦉@35; } if @50⦊true⦉@50 { let @51,53⦊mut countdown = 0; if true⦉@51,53 @54,56⦊{ countdown = 10; }⦉@54,56@55⦊⦉@55 if @57⦊countdown > 7⦉@57 @58,60,61⦊{ countdown -= 4; }⦉@58,60,61 else if @59⦊countdown > 2⦉@59 { if @62,64⦊countdown < 1⦉@62,64 || @71⦊countdown > 5⦉@71 || @67⦊countdown != 9⦉@67 @73,75⦊{ countdown = 0; }⦉@73,75@74⦊⦉@74 @76,77⦊countdown -= 5⦉@76,77; } else { @63⦊return⦉@63; } }@52⦊⦉@52 // Note: closing brace shows uncovered (vs. `0` for implicit else) because condition literal // `true` was const-evaluated. The compiler knows the `if` block will be executed. let @79⦊mut countdown = 0; if true⦉@79 @80,82⦊{ countdown = 1; }⦉@80,82@81⦊⦉@81 let @106⦊z⦉@106 = if @83⦊countdown > 7⦉@83 @84,86,87⦊{ countdown -= 4; }⦉@84,86,87 else if @85⦊countdown > 2⦉@85 { if @88,90⦊countdown < 1⦉@88,90 || @97⦊countdown > 5⦉@97 || @93⦊countdown != 9⦉@93 @99,101⦊{ countdown = 0; }⦉@99,101@100⦊⦉@100 @102,103⦊countdown -= 5⦉@102,103; } else { let @89,104,105⦊should_be_reachable = countdown; println!("reached"); return⦉@89,104,105; }; let @127⦊w⦉@127 = if @106⦊countdown > 7⦉@106 @107,109,110⦊{ countdown -= 4; }⦉@107,109,110 else if @108⦊countdown > 2⦉@108 { if @111,113⦊countdown < 1⦉@111,113 || @120⦊countdown > 5⦉@120 || @116⦊countdown != 9⦉@116 @122,124⦊{ countdown = 0; }⦉@122,124@123⦊⦉@123 @125,126⦊countdown -= 5⦉@125,126; } else { @112⦊return⦉@112; }; }@131⦊⦉@131