pub fn bounded_items<'a, V: Source>(
ast: &Ast,
value: &'a V,
bound: Bound,
noun: &str,
path: &str,
) -> Result<&'a [V], ProbeError>Expand description
The elements of a collection, with its declared bound enforced.
The bound is part of the type, so a sample that overruns it is a sample no peer’s generated code can hold. One backend checked it and two did not, which made an over-long sequence a ZeroDDS-only refusal.