https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87982
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The requirement is that Size can be converted to an integer type (so it would
be wrong to assert it is an integer type).
I think converting it to the iterator's difference type is the right fix. Doing
that would make the original example ill-formed, because the pointer isn't
convertible to ptrdiff_t.
Now we're in stage 1 I'll make that change.
