1  Error [ETYC0372112]: A struct must have at least one member.
 2      --> compiler-test:3:5
 3       |
 4     3 |     struct Bar {}
 5       |     ^^^^^^^^^^^^^
 6  Error [ETYC0372171]: A struct must have at least one member of non-zero size.
 7      --> compiler-test:5:5
 8       |
 9     5 |     struct Foo {
10       |     ^^^^^^^^^^^^
11     6 |         a: [u8; 0],
12       |         ^^^^^^^^^^^
13     7 |     }
14       |     ^
15  Error [ETYC0372083]: A program must have at least one transition function.
16      --> compiler-test:2:9
17       |
18     2 | program test.alpha {
19       |         ^^^^^^^^^