  --> [ local path prefix ]/state_machine/typed_elements/choice_i32_f32.fpp:8:5
   |
 8 |     choice C { if g enter T else enter T }
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type mismatch at choice
   |
  ::: [ local path prefix ]/state_machine/typed_elements/choice_i32_f32.fpp:9:5
   |
 9 |     on s1 enter C
   |     ------------- type of transition is I32
   |
  ::: [ local path prefix ]/state_machine/typed_elements/choice_i32_f32.fpp:10:5
   |
10 |     on s2 enter C
   |     ------------- type of transition is F32

