the type in parentheses is parsed as a tuple

[ghost]

Aim

fn main() {
    let s = 1 as (u32) < 2;
}

Expected Behavior

Compiled from source

Bug

error: Only integer and Field types may be casted to
  ┌─ src/main.nr:2:13
  │
2 │     let s = 1 as (u32) < 2;
  │             ----------

Error: Aborting due to 1 previous error

Location:
    crates/nargo_cli/src/cli/mod.rs:71:5

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

crates/noirc_frontend/src/hir/type_check/expr.rs:341] (&from, &to) = (
    PolymorphicInteger(
        Maybe(
            TypeVariableId(
                27934,
            ),
            Shared(
                RefCell {
                    value: None,
                },
            ),
        ),
        Shared(
            RefCell {
                value: Unbound(
                    TypeVariableId(
                        27933,
                    ),
                ),
            },
        ),
    ),
    Tuple(
        [
            Integer(
                No(
                    None,
                ),
                Unsigned,
                32,
            ),
        ],
    ),
)

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[jfecher]

Resolved by #1960