Logic · rule
failure.outcome_missing_arm
Outcome match does not handle every failure.
Area 3, Logic; not declinable; the next step is usually the agent's.
function missing_failure(key: LookupKey) -> LookupResult { return match lookup(key) { success(value) -> value LookupMissing -> "missing" }}
error: This `match` doesn't handle `LookupRefused` --> main.jadpo:2:12 |2 | return match lookup(key) { | ^^^^^^^^^^^^^^^^^ failures not handled reason: `lookup(...)` can fail with `LookupMissing` and `LookupRefused`, and a `match` on its outcome has an arm for every one: a value, `reject` or `propagate`. next: Add an arm for `LookupRefused` (agent) rule: failure.outcome_missing_arm help: https://jadpo.dev/docs/errors/failure.outcome_missing_armcheck failed: 1 error, 2 files
Markdown for agents: /docs/errors/failure.outcome_missing_arm.md.Built from Jadpo main at a707efb.