type.temporal_format_invalid: Format is not a written-out time format

Format is not a written-out time format.

Area 10, Configuration; not declinable; the next step is usually the agent's.

example

type OrderedAt = Instant {}function placed_label(    ordered_at: OrderedAt,    zone: Zone,    reader_locale: Locale) -> PresentationText {    return text.format(        ordered_at,        zone: zone,        locale: reader_locale,        format: TimeFormat.date_longest    )}

jadpo checkcheck failed: 1 error, 1 file

error TimeFormat.date_longest isn't a time format

--> main.jadpo:12:17

   |12 |         format: TimeFormat.date_longest   |                 ^^^^^^^^^^^^^^^^^^^^^^^ not a format

reason: text.format's format: is written out: a built-in format, TimeFormat. followed by date_, time_ or date_time_ and full, long, medium or short, or the name of a format declared as type Name = TimeFormat { ... }.
next: Write a built-in format such as TimeFormat.date_long, or declare one with type Name = TimeFormat { ... } (agent)
rule: type.temporal_format_invalid
help: https://jadpo.dev/docs/errors/type.temporal_format_invalid

A format named as the type of a field, a parameter or a variable, or used as a value, is reported the same way: it holds no value.