https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83818
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Ha, apparently I forgot that I'd reported the bug and fixed it myself.
redi at gcc dot gnu.org via Gcc-bugs Thu, 22 Apr 2021 12:32:22 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83818
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Ha, apparently I forgot that I'd reported the bug and fixed it myself.