 --> [ local path prefix ]/state_machine/typed_elements/state_choice_bad_else_action_type.fpp:7:39
  |
7 |     choice C { if g enter T else do { a } enter T }
  |                                       ^ type mismatch at choice
  |
  = note: type of choice is None
  = note: type of action is U32

