https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119141
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- There's an open issue about that wording, because it's not clear what it's supposed to mean: https://cplusplus.github.io/LWG/issue3090 It's impossible to constrain the constructor so that it won't compile if the runtime multiplication overflows.