Add a test for when struct pattern turbofish succeed

noir-lang · Jul 26, 2024 · ec48f75 · ec48f75
1 parent 28010fb
commit ec48f75
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/compiler/noirc_frontend/src/tests.rs b/compiler/noirc_frontend/src/tests.rs
@@ -2618,6 +2618,22 @@ fn turbofish_in_struct_pattern() {
         x: T
     }
 
+    fn main() {
+        let value: Field = 0;
+        let Foo::<Field> { x } = Foo { x: value };
+        let _ = x;
+    }
+    "#;
+    assert_no_errors(src);
+}
+
+#[test]
+fn turbofish_in_struct_pattern_errors_if_type_mismatch() {
+    let src = r#"
+    struct Foo<T> {
+        x: T
+    }
+
     fn main() {
         let value: Field = 0;
         let Foo::<i32> { x } = Foo { x: value };