https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86015 --- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- cppreference is not the standard. See comment 5, where I quoted the standard which requires difference_type to be a signed integer type. This is not a bug.