✓
Passing Passing: the compiler rejects this program as expected.
Code
// Test: `std/fleet(node.ID)` without `| not-found` is refused — a member
// lookup can miss, and dormant must be a stated decision, not a skipped arm.
~import std/io
~import std/fleet
~std/fleet:new(node, scope: "cell", world: "", capacity: 8)
~std/fleet(node.room-42)
| cell b |> std/io:print.ln("found")
Actual compiler output
error[KORU161]: std/fleet(node.room-42): a member lookup can miss — `| not-found |>` is required; dormant is a decision, not silence
--> tests/regression/400_RUNTIME_FEATURES/450_FLEET/450_002_member_lookup_requires_not_found/input.kz:9:0Must fail at runtime with:
CONTAINS a member lookup can miss
CONTAINS not-foundFlows
flow ~new click a branch to expand · @labels scroll to their anchor
new (expr: node, scope: "cell", world: "", capacity: 8)
flow ~std/fleet click a branch to expand · @labels scroll to their anchor
std/fleet (node.room-42)
Test Configuration
MUST_ERROR