pub fn field_predicates(f: &RecordField) -> Vec<PredKind>Expand description
#1969: a record field’s inline refinement predicates, in declaration order
(qty: Int where Positive → [Positive]). The decoder checks them after
the field’s own codec, so a refined field reads the same from the wire as a
field of a named refined type.