chore: regression test for #2540

[michaeljklein]

Description

Problem*

Resolves #2540

Summary*

Fixed in #4504

Additional Context

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[TomAFrench]

Could we move this into noirc_frontend like

noir/compiler/noirc_frontend/src/tests.rs

Lines 1259 to 1267 in 77f0381

	// Regression for #4545
	#[test]
	fn type_aliases_in_main() {
	let src = r#"
	type Outer<N> = [u8; N];
	fn main(_arg: Outer<1>) {}
	"#;
	assert_eq!(get_program_errors(src).len(), 0);
	}

?

This should run faster for frontend errors rather than a full compilation.

[jfecher]

👍