pub fn field_base_guards(b: BaseType) -> Vec<BaseGuard>Expand description
The base-type guards a bare field-position value (a record field, a
sum-variant payload field, a collection element) is checked against,
mirroring emit_field_deserialise’s TypeRef::Base arm: Int/Duration/
Instant must be whole, Float must be finite. #1969: Duration joined the
first group; a top-level Duration was already guarded, a field was not. Contrast WireScalar::base_guards
(a named-type consumed-inline revalidation), which guards Int/Float
only — the two positions are not the same check in the code this was
extracted from, and that asymmetry is preserved rather than merged.