https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110574
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Doh, I put the wrong PR number in that commit, it's meant to be for PR 104299
redi at gcc dot gnu.org via Gcc-bugs Thu, 06 Jul 2023 08:38:50 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110574
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Doh, I put the wrong PR number in that commit, it's meant to be for PR 104299