Function definitely_no_overlap 

pub fn definitely_no_overlap<S: Scalar, const N: usize>(
    a: &[Vector<S, N>],
    b: &[Vector<S, N>],
) -> bool

Negation of could_overlap.