is `@type_operator(FIELD_NO_INPUT)` needed here too?