_at_mut_unchecked requires the index to be within the slice

This indicates a bug in the program. This Undefined Behavior check is optional, and cannot be relied on for safety.mid > len