lated: slice::get_unchecked_mut requires that the range is within the slice

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