Values and types · rule
type.optional_outside_input
Optional or default field outside an Input.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type Nickname = Text { max_length: 30}type Profile = Object { nickname: Nickname { optional: true }}
error: `Profile` isn't an `Input`, so its fields are always given --> main.jadpo:7:9 |7 | optional: true | ^^^^^^^^ only for an `Input` reason: Only a request arriving from outside may leave fields out or have them filled by default; an object built inside the application states every field, using `none` for a field declared `T?`. next: Remove the setting, or make the field's type `T?` if it may be absent (agent) rule: type.optional_outside_input help: https://jadpo.dev/docs/errors/type.optional_outside_inputcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.optional_outside_input.md.Built from Jadpo main at a707efb.