https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118647
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Alfredo Correa from comment #10) > In that case, wouldn't it be more consistent that the `contiguous_iterator` > concept checks for these `noexcept` characteristics? No, the standard is very clear about what the std::contiguous_iterator concept means, and it doesn't include "can be incremented without throwing". That change is completely out of the question. And will become irrelevant soon because I'm trying to change the standard to unambiguously allow the memcpy optimizations anyway.
