if_associated_const.check_int.PreCodegen.after.mir

// MIR for `check_int` after PreCodegen

fn check_int() -> u32 {
    let mut _0: u32;

    bb0: {
        switchInt(const <T as TraitWithInt>::VALUE) -> [1: bb1, 2: bb2, 3: bb3, otherwise: bb4];
    }

    bb1: {
        _0 = const 123_u32;
        goto -> bb5;
    }

    bb2: {
        _0 = const 456_u32;
        goto -> bb5;
    }

    bb3: {
        _0 = const 789_u32;
        goto -> bb5;
    }

    bb4: {
        _0 = const 0_u32;
        goto -> bb5;
    }

    bb5: {
        return;
    }
}