https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71205
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |DUPLICATE --- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes, this is another case where GCC is doing what the resolution of DR 2137 says to do, and nobody likes it. *** This bug has been marked as a duplicate of bug 85577 ***