Function check_less_than

src/pack.rs:219–228

Checks that `unpacked` bytes are less than `N`. All of `unpacked` is assumed to be < `FACTOR`. `HISTOGRAM` must be 0.

(
        unpacked: &[u8],
    )

    /// Checks that `unpacked` bytes are less than `N`. All of `unpacked` is assumed to be < `FACTOR`.
    /// `HISTOGRAM` must be 0.
    fn check_less_than<const N: usize, const HISTOGRAM: usize, const FACTOR: usize>(
        unpacked: &[u8],
    ) -> Result<[usize; HISTOGRAM]> {
        assert!(FACTOR >= N);
        debug_assert!(unpacked.iter().all(|&v| (v as usize) < FACTOR));
        if FACTOR > N && unpacked.iter().copied().max().unwrap_or(0) as usize >= N {
            return invalid_packing();
        }
        Ok(std::array::from_fn(|_| unreachable!("HISTOGRAM not 0")))
    }

    /// Returns `Ok(histogram)` if buckets after `OUT` are 0.
    fn check_histogram<const IN: usize, const OUT: usize>(