https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41759
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- And we could replace the clunky "template argument substituting _UIntType" with simply "result_type" e.g. "result_type must be an unsigned integer type"
