A type that ensures the given type T does not have a field property.
T
field
type WithoutField<T> = T & {field: never}