to exceed `isize::MAX`

This indicates a bug in the program. This Undefined Behavior check is optional, and cannot be relied on for safety.is_nonoverlapping: `size_of::<T>() * count` overflows a usize