✓
Passing Passing: the compiler rejects this program as expected.
Code
// A bare `n` in the node arm refuses — the fold arm reads the node's
// fields (`n.<field>`); it can't hold the node itself.
import std/tree
std/tree:node(Node) { item: i64, left: ?Node }
pub tor mk { } -> *Node<owned!>
mk = if(true)
| then |> std/tree:mint(Node) { item: 1, left: null }: h -> h
| else -> null
mk(): t
|> std/tree:fold(t, as: i64): c
| node n -> n
| null -> 0
|> std/tree:dispose(t): _
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:1Must contain:
KORU184Flows
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