expression without assignment is incorrectly typechecked

[ghost]

Aim

fn test() {
    1;
    2;
}

Expected Behavior

the compiler doesn't error.

Bug

error: Expected type (), found type Field
   ┌─ src/main.nr:23:5
   │
23 │     1;
   │     -

Error: Aborting due to 1 previous error

To Reproduce

Installation Method

Compiled from source

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[ghost]

and another case

fn test() {
    let a: () = {};
}

error: Expected type (), found type ()
   ┌─ src/main.nr:23:17
   │
23 │     let a: () = {};
   │                 --

[jfecher]

The first case with:

error: Expected type (), found type Field
   ┌─ src/main.nr:23:5
   │
23 │     1;
   │     -

Is expected since you're sequencing an expression without using its result. Perhaps it can be downgraded into a warning though.

The second case with Expected type (), found type () is definitely a bug.