1  Error [ETYC0372050]: A struct cannot contain a tuple.
 2      --> compiler-test:21:9
 3       |
 4    21 |         mem: (u8, u16)
 5       |         ^^^
 6  Error [ETYC0372051]: A function cannot take in a tuple as input.
 7      --> compiler-test:7:18
 8       |
 9     7 |     function foo(a: (u8, u16)) -> (u8, u16) {
10       |                  ^^^^^^^^^^^^
11  Error [ETYC0372049]: A tuple type cannot contain a tuple.
12      --> compiler-test:11:36
13       |
14    11 |     function bar(zz: bool) -> (u8, (u16, u32)) {
15       |                                    ^^^^^^^^^^
16  Error [ETYC0372052]: A tuple expression cannot contain another tuple expression.
17      --> compiler-test:12:22
18       |
19    12 |         return (1u8, (2u16, 3u32));
20       |                      ^^^^^^^^^^^^
21  Error [ETYC0372117]: Expected an integer but type `(u8, u16)` was found.
22      --> compiler-test:16:13
23       |
24    16 |         for i: (u8, u16) in 0u8..2u8 {}
25       |             ^
26  Error [ETYC0372117]: Expected type `(u8, u16)` but type `u8` was found.
27      --> compiler-test:16:29
28       |
29    16 |         for i: (u8, u16) in 0u8..2u8 {}
30       |                             ^^^
31  Error [ETYC0372117]: Expected type `(u8, u16)` but type `u8` was found.
32      --> compiler-test:16:34
33       |
34    16 |         for i: (u8, u16) in 0u8..2u8 {}
35       |                                  ^^^
36  Error [ETYC0372083]: A program must have at least one transition function.
37      --> compiler-test:2:9
38       |
39     2 | program test.alpha {
40       |         ^^^^^^^^^