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

