@0⦊fn main() ⦉@0{
let @0⦊mut countdown = 0;
if true⦉@0 @1⦊{
countdown = 10;
}⦉@1@2⦊‸⦉@2
const B: u32 = 100;
let @21⦊x⦉@21 = if @3⦊countdown > 7⦉@3 {
@4,6⦊countdown -= 4;
B⦉@4,6
} else if @5⦊countdown > 2⦉@5 {
if @7⦊countdown < 1⦉@7 || @15⦊countdown > 5⦉@15 || @11⦊countdown != 9⦉@11 @17⦊{
countdown = 0;
}⦉@17@18⦊‸⦉@18
@19,20⦊countdown -= 5;
countdown⦉@19,20
} else {
@8⦊return⦉@8;
};
let @21⦊mut countdown = 0;
if true⦉@21 @22⦊{
countdown = 10;
}⦉@22@23⦊‸⦉@23
if @24⦊countdown > 7⦉@24 @25,27⦊{
countdown -= 4;
}⦉@25,27 else if @26⦊countdown > 2⦉@26 {
if @28⦊countdown < 1⦉@28 || @36⦊countdown > 5⦉@36 || @32⦊countdown != 9⦉@32 @38⦊{
countdown = 0;
}⦉@38@39⦊‸⦉@39
@40,41⦊countdown -= 5⦉@40,41;
} else {
@29⦊return⦉@29;
}
if @42⦊true⦉@42 {
let @43⦊mut countdown = 0;
if true⦉@43 @45⦊{
countdown = 10;
}⦉@45@46⦊‸⦉@46
if @47⦊countdown > 7⦉@47 @48,50⦊{
countdown -= 4;
}⦉@48,50
else if @49⦊countdown > 2⦉@49 {
if @51⦊countdown < 1⦉@51 || @59⦊countdown > 5⦉@59 || @55⦊countdown != 9⦉@55 @61⦊{
countdown = 0;
}⦉@61@62⦊‸⦉@62
@63,64⦊countdown -= 5⦉@63,64;
} else {
@52⦊return⦉@52;
}
}@44⦊‸⦉@44 // 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 @66⦊mut countdown = 0;
if true⦉@66 @67⦊{
countdown = 1;
}⦉@67@68⦊‸⦉@68
let @89⦊z⦉@89 = if @69⦊countdown > 7⦉@69 @70,72⦊{
countdown -= 4;
}⦉@70,72 else if @71⦊countdown > 2⦉@71 {
if @73⦊countdown < 1⦉@73 || @81⦊countdown > 5⦉@81 || @77⦊countdown != 9⦉@77 @83⦊{
countdown = 0;
}⦉@83@84⦊‸⦉@84
@85,86⦊countdown -= 5⦉@85,86;
} else {
let @74,87,88⦊should_be_reachable = countdown;
println!("reached");
return⦉@74,87,88;
};
let @107⦊w⦉@107 = if @89⦊countdown > 7⦉@89 @90,92⦊{
countdown -= 4;
}⦉@90,92 else if @91⦊countdown > 2⦉@91 {
if @93⦊countdown < 1⦉@93 || @101⦊countdown > 5⦉@101 || @97⦊countdown != 9⦉@97 @103⦊{
countdown = 0;
}⦉@103@104⦊‸⦉@104
@105,106⦊countdown -= 5⦉@105,106;
} else {
@94⦊return⦉@94;
};
}@111⦊‸⦉@111