034 metatype branch requires binding

○ Planned This feature is planned but not yet implemented.

Emitter should reject metatype branches without bindings (| Transition |> should require | Transition t |> or | Transition _ |>)

Failure Output

error[KORU010]: '_' is only legal as the body of a branch handler
  --> tests/regression/300_ADVANCED_FEATURES/310_COMPTIME/310_034_metatype_branch_requires_binding/input.kz:25:0
    |
 25 | |> _
    | ^
  hint: '_' has meaning only as `| branch [binding] |> _`. Outside a branch handler body — top-level void chain, split-pipeline tail — `|> _` is meaningless.

Code

input.kz

Flows

flow ~tap click a branch to expand · @labels scroll to their anchor
tap (work -> *)