feat: implement the From trait for array to BoundedVec conversion

noir_stdlib/src/collections/bounded_vec.nr

@@ -107,6 +107,12 @@ impl<T, MaxLen> Eq for BoundedVec<T, MaxLen> where T: Eq {
     }
 }
 
+impl<T, MaxLen> From<[T; MaxLen]> for BoundedVec<T, MaxLen> { 
+    fn from(value: [T; MaxLen]) -> BoundedVec<T, MaxLen>  { 
+        BoundedVec { storage: value, len: MaxLen }
+    } 
+}
+
 mod bounded_vec_tests {
     // TODO: Allow imports from "super"
     use crate::collections::bounded_vec::BoundedVec;
@@ -128,4 +134,23 @@ mod bounded_vec_tests {
 
         assert(bounded_vec1 != bounded_vec2);
     }
+
+    mod from_array {
+        #[test]
+        fn empty() {
+            let bounded_vec = BoundedVec::from([]);
+
+            assert_eq(bounded_vec.len(), 0);
+            assert_eq(bounded_vec.storage(), []);
+        }
+
+        #[test]
+        fn non_empty() {
+            let array = [1, 2, 3];
+            let bounded_vec = BoundedVec::from(array);
+
+            assert_eq(bounded_vec.len(), 3);
+            assert_eq(bounded_vec.storage(), array);
+        }
+    }
 }