blob: 8a8b609b0755b51940713fe07d21050a17f296ac [file] [log] [blame]
//@ 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 {
()
}
}