https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110462
--- Comment #7 from Sam James <sjames at gcc dot gnu.org> --- Oh, duh, it's libstdc++. I'm not sure there's an alternative to typedefing it then.
sjames at gcc dot gnu.org via Gcc-bugs Wed, 28 Jun 2023 10:18:16 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110462
--- Comment #7 from Sam James <sjames at gcc dot gnu.org> --- Oh, duh, it's libstdc++. I'm not sure there's an alternative to typedefing it then.