Является ли ошибка компиляции ниже из-за дефекта libstdc ++, или это поведение совместимо с транзакционной памятью TS (n4514)?
#include <type_traits>
static_assert(std::is_function_v<void() transaction_safe>, "");
int main() {}
Задача ещё не решена.
Других решений пока нет …