 --> [ local path prefix ]/state_machine/typed_elements/state_exit_bad_action_type.fpp:5:15
  |
5 |     exit do { a }
  |               ^ type mismatch at exit actions
  |
  = note: type of exit actions is None
  = note: type of action is U32

