std :: iS_ASSIGN和抽象类

Question

假设您有一个抽象类：

struct Abstr { virtual void f() = 0; };
static_assert(std::is_assignable<Abstr, Abstr>::value);

上面的断言失败了GCC（在版本10.3和11.2上进行了测试），但在Clang上编译恰好（在版本12和13上进行了测试）。

同样，通过使用概念的自定义实现特征：

template <class T, class U>
concept is_assignable_concept = requires
{ std::declval<T>() = std::declval<U>(); };
static_assert(is_assignable_concept<Abstr, Abstr>);

任何编译器的断言永远不会失败。

这里的正确行为是什么？ 两者都是受人尊敬的编译器，但我倾向于相信Clang就在这里。

PD： 我想知道为什么不使用概念来实现特质。至少在这种情况下，事实证明它比Sfinae版本要短得多，而且行为显然正确。