bug: loop, for and while don't require their body to be ()

[asterite]

Aim

Given this code:

fn main() {
    for _ in 0..10 {
        10
    }
}

Expected Behavior

The compiler should give an error saying that the for body's type should be (), not Field.

Bug

The code gives no error (unlike Rust).

The same applies to loop and while.

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

No response

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response