Skip to main content

bounded_items

Function bounded_items 

Source
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.

§Errors

ProbeError::Mismatch.