@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