y.unsafe precondition(s) violated: usize::unchecked_mul cannot overflow

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