# `type.missing_variant_field`

Variant is missing a field.

Area 2, [Values and types](../topics/values-and-types.md); not declinable; the next step is usually the agent's.

```jadpo
type ReceiptId = Uuid {}

type PaymentOutcome = Enum {
    pending
    paid: {
        receipt_id: ReceiptId
    }
}

function paid() -> PaymentOutcome {
    return PaymentOutcome.paid {}
}
```

```text
error: `PaymentOutcome.paid` is missing `receipt_id`
 --> main.jadpo:11:12
   |
11 |     return PaymentOutcome.paid {}
   |            ^^^^^^^^^^^^^^^^^^^ fields missing
  reason: Every field of `PaymentOutcome.paid` is given when a value is built; a field that may be absent is declared `T?` and given as `none`.
  next: Add `receipt_id: ...` to the block (agent)
  rule: type.missing_variant_field
  help: https://jadpo.dev/docs/errors/type.missing_variant_field

check failed: 1 error, 1 file
```