# `type.redundant_nullability`

Type is already nullable.

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

```jadpo
type ProductName = Text {
    max_length: 120
}

type Listing = Object {
    subtitle: ProductName?
}

type ListingPreview = Object {
    subtitle: Listing.subtitle?
}
```

```text
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_nullability

check failed: 1 error, 1 file
```
