Conditions under which some slice methods return None seem undocumented

[8573]

Some methods of slices, including split_first, split_first_mut,
split_last, and split_last_mut return Option types without
documenting the conditions under which they return Some vs None; I
would like to suggest that these conditions be documented.