https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107795
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2022-11-22
--- Comment #15 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Louis, I think the best way to make progress here is to propose a patch. If you
can make GCC's header work for all existing users and also work for you, great.
I don't see why it would be rejected.
I'll confirm the bug, as I agree it would be nice if the header worked in
additional situations. But don't be surprised if nobody does anything about it.
You (or other libc++ devs) might need to do that work.
