Compiler panics when using a type alias to a generic array with static length as argument in main

[aajj999]

Aim

Compiler doesn't panic when run nargo compile on

type Outer<N> = [u8; N];
fn main(arg: Outer<1>) {}

Expected Behavior

Compiler throws an error or accepts (compiles) the code.

Bug

The application panicked (crashed).
Message: Cannot have variable sized arrays as a parameter to main
Location: compiler/noirc_frontend/src/hir_def/types.rs:121

To Reproduce

Run nargo compile on

type Outer<N> = [u8; N];
fn main(arg: Outer<1>) {}

Project Impact

Blocker

Impact Context

The core library we're using cannot be compiled on the new Noir version because of this issue.

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

Binary (noirup default)

Nargo Version

nargo version = 0.25.0 noirc version = 0.25.0+3f676051a6073d6eabdc7fee68e4b522334344f6

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response