src/test/ui/for-loop-while/for-loop-has-unit-body.rs

// run-pass
fn main() {
    // Check that the tail statement in the body unifies with something
    for _ in 0..3 {
        // `()` is fine to zero-initialize as it is zero sized and inhabited.
        unsafe { std::mem::zeroed() }
    }

    // Check that the tail statement in the body can be unit
    for _ in 0..3 {
        ()
    }
}