1  Error [ETYC0372036]: Function must return a value.
2      --> compiler-test:3:5
3       |
4     3 |     transition main() -> u8 {}
5       |     ^^^^^^^^^^^^^^^^^^^^^^^^^^