roc/crates/compiler/test_mono/generated/unreachable_void_constructor.txt

procedure Bool.2 ():
    let Bool.21 : Int1 = true;
    ret Bool.21;

procedure Test.0 ():
    let Test.6 : Int1 = CallByName Bool.2;
    if Test.6 then
        let Test.8 : Str = "voided tag constructor is unreachable";
        Crash Test.8
    else
        let Test.5 : Str = "abc";
        ret Test.5;