https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118647
--- Comment #10 from Alfredo Correa <alfredo.correa at gmail dot com> --- Ok, fair points. In that case, wouldn't it be more consistent that the `contiguous_iterator` concept checks for these `noexcept` characteristics?
