015 fold bare binding

✓ Passing Passing: the compiler rejects this program as expected.

Code

input.k

Actual compiler output

error[KORU184]: std/tree:fold: bare `n` in the node arm — the fold arm reads the node's fields (`n.<field>`), it can't hold the node itself
  --> tests/regression/600_STDLIB/682_TREE/682_015_fold_bare_binding/input.k:13:1

Must contain:

KORU184

Flows

flow ~node click a branch to expand · @labels scroll to their anchor
node (Node, source: item: i64, left: ?Node)
subflow ~mk click a branch to expand · @labels scroll to their anchor
if (true)
flow ~mk click a branch to expand · @labels scroll to their anchor
mk

Test Configuration

MUST_ERROR