Add Bar<Field> case to test

noir-lang · Feb 10, 2023 · 237308a · 237308a
1 parent 29c82e1
commit 237308a
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/crates/nargo/tests/test_data/generics/src/main.nr b/crates/nargo/tests/test_data/generics/src/main.nr
@@ -25,6 +25,12 @@ impl<N> BigInt<N> {
     }
 }
 
+impl Bar<Field> {
+    fn get_other(self) -> Field {
+        self.other
+    }
+}
+
 fn main(x: Field, y: Field) {
     let bar1: Bar<Field> = Bar { one: x, two: y, other: 0 };
     let bar2 = Bar { one: x, two: y, other: [0] };
@@ -37,4 +43,10 @@ fn main(x: Field, y: Field) {
     let int2 = BigInt { limbs: [2] };
     let BigInt { limbs } = int1.second(int2).first(int1);
     constrain limbs == int2.limbs;
+
+    // Test impl exclusively for Bar<Field>
+    constrain bar1.get_other() == bar1.other;
+
+    // Expected type error
+    // constrain bar2.get_other() == bar2.other;
 }