Compiler raises an error when returning a negative value after a } because the compiler interprets it as a subtraction

[pventuzelo]

Aim

We (https://github.com/FuzzingLabs) found that the compiler raises an error when returning a negative value after a } because the compiler interprets it as a subtraction.

Expected Behavior

No error should occur.

Bug

It seems like the compiler treats the } and the return as a single statement, similar to a subtraction operation. The error occurs because the function ends up returning a subtraction between a Field and () but this is an invalid instruction. Placing a ; between the } and the return allows the compiler to properly treat the negative value as a return statement.

The issue occurs with the latest compiler version on the master branch. The error message is as follows:

error: expected type i8, found type ()
...

error: Types in a binary operation should match, but found () and Field
...

error: No matching impl found for `(): Sub
...

To Reproduce

// The compiler raises an error due to an isolated negative sign followed by a number, which is interpreted as a subtraction.
fn func1() -> i8 {
  {
  }
  -1 // This is interpreted as a subtraction and not a negative number return.
}

// Same error with "if" "else" etc... (not "for" because the loop is flattened)
fn func2() -> i8 {
  if true {
  } else {
  }
  -1 
}

// No error here because there is a ";" between the "}" and the return.
fn func3() -> i8 {
  {
  }
  ;
  -1 
}

fn main() {
}

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

None

Nargo Version

No response

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response