add type fail tests

compiler/tests/array/mod.rs

@@ -126,3 +126,19 @@ fn test_multi() {
 
     assert_satisfied(program);
 }
+
+#[test]
+fn test_multi_initializer_fail() {
+    let program_bytes = include_bytes!("multi_fail_initializer.leo");
+    let program = parse_program(program_bytes).unwrap();
+
+    expect_compiler_error(program);
+}
+
+#[test]
+fn test_multi_inline_fail() {
+    let program_bytes = include_bytes!("multi_fail_inline.leo");
+    let program = parse_program(program_bytes).unwrap();
+
+    expect_compiler_error(program);
+}

compiler/tests/array/multi_fail_initializer.leo

@@ -0,0 +1,3 @@
+function main() {
+    let arr: [u8; (2, 2)] = [[1u8; 2]; 1]; // incorrect dimensions
+}

compiler/tests/array/multi_fail_inline.leo

@@ -0,0 +1,4 @@
+function main() {
+    let arr: [u8; (2, 2)] = [[1u8, 1u8],
+                                  [1u8]];   // incorrect dimensions
+}