Function validate

crates/table/src/table_index/bytes_key.rs:185–199

Validates BSATN `byte` to conform to `seed`. The BSATN can originate from untrusted sources, e.g., from module code. This also means that e.g., a `BytesKey` can be trusted to hold valid BSATN for the key type, which we can rely on in e.g., `decode_algebraic_value`, which isn't used in a context where it would be appropriate to fail. Another reason to validate is that we wish for `BytesKey` to be

(seed: &'a S, mut bytes: &'de [u8])

/// since if all parts that are encoded into it are valid according to a key type,
/// then `bytes` cannot be longer than `N`.
fn validate<'a, 'de, S: 'a + ?Sized>(seed: &'a S, mut bytes: &'de [u8]) -> DecodeResult<()>
where
    WithTypespace<'a, S>: DeserializeSeed<'de>,
{
    WithTypespace::empty(seed).validate(Deserializer::new(&mut bytes))?;

    if !bytes.is_empty() {
        return Err(DecodeError::custom(format_args!(
            "after decoding, there are {} extra bytes",
            bytes.len()
        )));
    }

    Ok(())
}

impl<const N: usize> BytesKey<N> {
    fn new(length: usize, bytes: [u8; N]) -> Self {