1  Error [ETYC0372079]: An array cannot have a record as an element type
2      --> compiler-test:8:20
3       |
4     8 |     transition foo(a: [bar; 8]) -> u8 {
5       |                    ^^^^^^^^^^^