Failures · rule
failure.stale_declaration
Listed failure can never happen.
Area 4, Failures; not declinable; the next step is usually the agent's.
type Note = Text {}type Refused = Failure { kind: FailureKind.rejected}action complete(note: Note) fails Refused -> Note { return note}
error: `Refused` can never leave `complete` --> main.jadpo:7:35 |7 | action complete(note: Note) fails Refused -> Note { | ^^^^^^^ never raised or passed on reason: Nothing in `complete` rejects `Refused` or passes it on from a call, and `fails` lists exactly the failures that can leave, so callers aren't made to handle one that never happens. next: Remove `Refused` from `fails` (agent) rule: failure.stale_declaration help: https://jadpo.dev/docs/errors/failure.stale_declarationcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/failure.stale_declaration.md.Built from Jadpo main at a707efb.