https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95765
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Actually Bug 87614 is the source of that other example, and a more suitable one to mark this as a duplicate of. *** This bug has been marked as a duplicate of bug 87614 ***