P1522R1

Iterator difference type and integer overflow