https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115964
corentinjabot at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |corentinjabot at gmail dot com
--- Comment #2 from corentinjabot at gmail dot com ---
This is valid per https://eel.is/c++draft/basic.scope.scope#4.4
See https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2797r0.html for
details (this paper resolves https://cplusplus.github.io/CWG/issues/2692.html
by making it well formed)
(this is exactly why we needed a different mangling for these functions)
