diff --git a/tests/expectations/compiler/definition/define_multiple_variables_fail.out b/tests/expectations/compiler/definition/define_multiple_variables_fail.out new file mode 100644 index 0000000000..601e964e3c --- /dev/null +++ b/tests/expectations/compiler/definition/define_multiple_variables_fail.out @@ -0,0 +1,5 @@ +--- +namespace: Compile +expectation: Fail +outputs: + - "Error [ETYC0372082]: Tuple length mismatch:`length 3` tuple of identifiers declared, but length `2` tuple of types given`\n --> compiler-test:5:9\n |\n 5 | let (a,b,c): (u8,u8) = (2u8,3u8);\n | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372082]: Tuple length mismatch:`length 2` tuple of identifiers declared, but length `3` tuple of types given`\n --> compiler-test:6:9\n |\n 6 | let (d,e): (u8,u8,u8) = (1u8,2u8,3u8);\n | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" diff --git a/tests/tests/compiler/definition/define_multiple_variables_fail.leo b/tests/tests/compiler/definition/define_multiple_variables_fail.leo new file mode 100644 index 0000000000..adcc7b4880 --- /dev/null +++ b/tests/tests/compiler/definition/define_multiple_variables_fail.leo @@ -0,0 +1,13 @@ +/* +namespace: Compile +expectation: Fail +*/ + +program test.aleo { + function main(y: bool) -> bool { + let (a,b,c): (u8,u8) = (2u8,3u8); + let (d,e): (u8,u8,u8) = (1u8,2u8,3u8); + return y; + } +} +