https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113522
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jiang An from comment #4) > Hmm... currently it's specified in [algorithms.requirements] that > > The well-formedness and behavior of a call to an algorithm with an > > explicitly-specified template argument list is unspecified, except where > > explicitly stated otherwise. > > (Added by P0896R4 and amended by LWG3419.) > > Should open an LWG issue to specify similar things for std::swap? Yes please. I thought we already had it, but when I went looking I only found that text in [algorithm.requirements].