Function check_constraints 

pub(crate) fn check_constraints<U>(data: &[u8]) -> Result<usize, Error>
where
    U: TypeName,