 --> [ local path prefix ]/state_machine/typed_elements/state_choice_bad_if_action_type_f32_f64.fpp:9:26
  |
9 |     choice C { if g do { a } enter T else enter T }
  |                          ^ type mismatch at choice
  |
  = note: type of choice is F64
  = note: type of action is F32

