Values and types · rule
type.redundant_nullability
Type is already nullable.
Area 2, Values and types; not declinable; the next step is usually the agent's.
type ProductName = Text { max_length: 120}type Listing = Object { subtitle: ProductName?}type ListingPreview = Object { subtitle: Listing.subtitle?}
error: `Listing.subtitle` already permits `none` --> main.jadpo:10:15 |10 | subtitle: Listing.subtitle? | ^^^^^^^^^^^^^^^^^ nullable twice reason: `Listing.subtitle` takes `none` from its declared type; a second `?` adds nothing. next: Remove the extra `?` (agent) rule: type.redundant_nullability help: https://jadpo.dev/docs/errors/type.redundant_nullabilitycheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/type.redundant_nullability.md.Built from Jadpo main at a707efb.