Function check_constraints 

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