Function rejects_invalid_pointer_arithmetic

tests/integration/ir_generation.rs:88–97

()

    );
}

// -- Signed / unsigned arithmetic lowering ------------------------------------

#[test]
fn unsigned_division_emits_udiv() {
    assert!(has_instruction(
        r#"main: () -> i32 { a: u32 = 10  b: u32 = 2  c: u32 = a / b  return c as i32 }"#,
        |i| matches!(i, IrInstruction::Math { op, .. } if *op == IrMathOp::UDiv),
    ));
}

#[test]
fn signed_division_emits_sdiv() {