https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77369 --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Richard Smith realized that it uses the noexceptness of the first type it's instantiated with, because if you reverse the order of the calls, it produces false, false