✓
Passing This code compiles and runs correctly.
Code
// ============================================================================
// Test 210_138: MUST_ERROR — empty constructor braces `=> done {}` are a relic
//
// A payloadless branch constructs with its name alone: `foo => done`.
// The braced spelling `=> done {}` used to parse to a DIFFERENT tree than
// the bare form (the braces flipped BranchConstructor.has_expressions), so
// one meaning had two spellings and the trees disagreed — surfaced by the
// canonical-printer round-trip harness, ruled illegal 2026-07-02.
//
// Canonical form: `foo => done`.
// ============================================================================
~tor foo {}
| done
| other i32
~foo => done {}
~foo()
| done |> _
| other _ |> _
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected patterns
Each line is a regex that must match the program output.
error\[PARSE003\]
empty constructor braces on 'done'
drop the bracesFlows
flow ~foo click a branch to expand · @labels scroll to their anchor
foo