006 flow checker validation

// ============================================================================
// Test 055b: Flow checker validation of when-clauses
// Tests that the flow_checker correctly validates when-clause exhaustiveness:
// - ACCEPTS: Multiple continuations with when-clauses + exactly one else
// - REJECTS: Multiple continuations with when-clauses but NO else (tested separately)
// ============================================================================

~event check { x: i32, y: i32 }
| high { x: i32 }
| low { y: i32 }

// Valid: Two when-clauses + one else case
~check(x: 10, y: 5)
| high h when (h.x > 10) |> _
| high h when (h.x > 5) |> _
| high |> _  // else case
| low |> _