c++ - GCC 7、libstdc++、および -fgnu-tm でコンパイルすると、transaction_safe 関数が std::is_function によって認識されないのはなぜですか?

Question

以下のコンパイルの失敗は libstdc++ の欠陥によるものですか? それとも、この動作はトランザクション メモリ TS ( n4514 ) に準拠していますか?

#include <type_traits>
static_assert(std::is_function_v<void() transaction_safe>, "");
int main() {}

Answer 1

動作するはずです。GCC バグ レポートを提出してください。