Здравствуйте, vopl, Вы писали:


К>>В 20 (ну и в 23) стандарте есть недосказанность, а в C++ ABI популярных компиляторов (gcc / clang / msvc), соответственно, есть БАГ, эксплуатирующий эту недосказанность.
К>>А именно, ограничения (концепты и requires) не попадают в декорированные имена.

V>https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100825
V>https://github.com/llvm/llvm-project/issues/49884
V>https://github.com/itanium-cxx-abi/cxx-abi/issues/24

Угу, оно самое. В гусёвом трекере даже моё имя присутствует.