https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108221
--- Comment #15 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jonathan Wakely <r...@gcc.gnu.org>: https://gcc.gnu.org/g:b39f4333d18cc58b1a655c537a78fefe95b82609 commit r13-5079-gb39f4333d18cc58b1a655c537a78fefe95b82609 Author: Jonathan Wakely <jwak...@redhat.com> Date: Mon Jan 9 10:45:31 2023 +0000 libstdc++: Fix std::span constraint for sizeof(size_t) < sizeof(int) [PR108221] The default constructor has a constraint that is always false if arithmetic on size_t values promotes to int. Rewrite the constraint exactly as written in the standard, which works correctly. libstdc++-v3/ChangeLog: PR libstdc++/108221 * include/std/span (span::span()): Un-simplify constraint to work for size_t of lesser rank than int.