Add a couple more tests

compiler/noirc_frontend/src/tests.rs

@@ -3625,7 +3625,7 @@ fn use_type_alias_to_generic_concrete_type_in_method_call() {
 }
 
 #[test]
-fn allows_struct_with_generic_infix_type_as_main_input() {
+fn allows_struct_with_generic_infix_type_as_main_input_1() {
     let src = r#"
         struct Foo<let N: u32> {
             x: [u64; N * 2],
@@ -3635,3 +3635,29 @@ fn allows_struct_with_generic_infix_type_as_main_input() {
     "#;
     assert_no_errors(src);
 }
+
+#[test]
+fn allows_struct_with_generic_infix_type_as_main_input_2() {
+    let src = r#"
+        struct Foo<let N: u32> {
+            x: [u64; N * 2],
+        }
+
+        fn main(_x: Foo<2 * 9>) {}
+    "#;
+    assert_no_errors(src);
+}
+
+#[test]
+fn allows_struct_with_generic_infix_type_as_main_input_3() {
+    let src = r#"
+        struct Foo<let N: u32> {
+            x: [u64; N * 2],
+        }
+
+        global N = 9;
+
+        fn main(_x: Foo<N * 2>) {}
+    "#;
+    assert_no_errors(src);
+}