# `type.match_unknown_variant`

Pattern names an unknown enum variant.

Area 3, [Logic](../topics/logic.md); not declinable; the next step is usually the agent's.

```jadpo
function describe(state: DeliveryState) -> Label {
    return match state {
        DeliveryState.pending -> "Pending"
        DeliveryState.snet -> "Sent"
        DeliveryState.failed -> "Failed"
    }
}
```

```text
error: `DeliveryState` has no variant `snet`
 --> main.jadpo:4:23
  |
4 |         DeliveryState.snet -> "Sent"
  |                       ^^^^ not a variant
  reason: `DeliveryState`'s variants are `pending`, `sent` and `failed`. Did you mean `sent`?
  next: Use `DeliveryState.sent` (agent)
  rule: type.match_unknown_variant
  help: https://jadpo.dev/docs/errors/type.match_unknown_variant

check failed: 1 error, 2 files
```