cargo check is faster; it's not fast