"Failed to compile circuit" and no errors shown when compiling code with any errors or warnings

[jfecher]

Aim

Tried to run nargo prove --experimental-ssa on the code

fn main() -> pub u32 {
    let x = foo();
    bar(x).1
}

fn foo(){}

fn bar<T>(x: T, y: u32, z: (u32, T)) -> (T, u32) {
    (x, y + z.0)
}

Expected Behavior

Expected the code to compile and prove

Bug

The compiler errors with the only output being

Error: Failed to compile circuit

Location:
    crates/nargo_cli/src/cli/mod.rs:72:5
exit 1

[jfecher]

I've also encountered this error when compiling code that contains only warnings:

fn main() {
    assert true;
}

Here, the warning for the deprecated keyword constrain causes the check function to return the warning in the error list, and when nargo_cli sees this it maps all errors to CompilationError and discards them without reporting them.

[jfecher]

After some more testing, it seems this is triggered for all errors or warnings and prevents them from being reported.