Values and types · rule
type.missing_field
Object is missing a field.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type Receipt = Output { email: Email}function incomplete_receipt() -> Receipt { return Receipt {}}
error: `Receipt` is missing `email` --> main.jadpo:6:12 |6 | return Receipt {} | ^^^^^^^ fields missing reason: Every field of `Receipt` is given when a value is built; a field that may be absent is declared `T?` and given as `none`. next: Add `email: ...` to the block (agent) rule: type.missing_field help: https://jadpo.dev/docs/errors/type.missing_fieldcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.missing_field.md.Built from Jadpo main at a707efb.