While writing a generic implementation today, I was surprised that you can't do s[i] for i: SliceIndex<S>, if s is of slice type &S. Doing s.get(i).unwrap() is an easy enough workaround, but feels really bad. Replacing the various explicit impls with one for SliceIndex would feel much nicer.