1  Error [ETYC0372123]: The unit type () may appear only as the return type of a function.
 2      --> compiler-test:4:9
 3       |
 4     4 |         x: (),
 5       |         ^^^^^
 6  Error [ETYC0372123]: The unit type () may appear only as the return type of a function.
 7      --> compiler-test:8:21
 8       |
 9     8 |     transition main(x: ()) {}
10       |                     ^^^^^
11  Error [ETYC0372123]: The unit type () may appear only as the return type of a function.
12      --> compiler-test:10:22
13       |
14    10 |     transition other(x: [(); 2]) {}
15       |                      ^^^^^^^^^^
16  Error [ETYC0372123]: The unit type () may appear only as the return type of a function.
17      --> compiler-test:12:33
18       |
19    12 |     transition yet_another() -> [(); 2] {}
20       |                                 ^^^^^^^
21  Error [ETYC0372036]: Function must return a value.
22      --> compiler-test:12:5
23       |
24    12 |     transition yet_another() -> [(); 2] {}
25       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^