Negative literal generic panics

[michaeljklein]

Aim

Attempted to compile:

// Also panic:
// type Foo = [Field; -1]>;
// type Foo = Bar<-1>;
// type Foo = str<-1>;
struct Foo<let N: i8> { }

fn main() {
    let _: Foo<-1> = Foo { };
}

Expected Behavior

Expected that the struct with a negative constant generic argument would compile successfully and that the types with invalid negative arguments would fail with a user type error.

Bug

The application panicked (crashed).
Message:  Negative literal is not allowed here
Location: compiler/noirc_frontend/src/ast/mod.rs:327

To Reproduce

Project Impact

Nice-to-have

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

Binary (noirup default)

Nargo Version

nargo version = 0.31.0 noirc version = 0.31.0+45e82a672b9ba7f7326e8d9f8800e2489013e2e8 (git version hash: 45e82a6, is dirty: false)

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response