Logic · rule
type.match_some_non_optional
Nullable pattern on a value that is never none.
Area 3, Logic; not declinable; the next step is usually the agent's.
function describe(label: Label) -> Label { return match label { some(name) -> name _ -> label }}
error: `label` is never `none`, so `some(...)` can't match it --> main.jadpo:3:9 |3 | some(name) -> name | ^^^^^^^^^^ for nullable values reason: `some(name)` and `none` match a nullable value, written `T?`; `label` is a `Label`. next: Use `label` directly: it always has a value (agent) rule: type.match_some_non_optional help: https://jadpo.dev/docs/errors/type.match_some_non_optionalcheck failed: 1 error, 2 files
Markdown for agents: /docs/errors/type.match_some_non_optional.md.Built from Jadpo main at a707efb.