Концепция C++: как проверить, что static int constexpr равен 1 или аналогичному...? Clang не согласен с GCC и MSVC ⇐ C++

[Anonymous]

Я не могу найти правильный синтаксис в cppreference для концепции, которая соответствует значению статического члена constexpr. Этот код компилируется и правильно работает в GCC и MSVC, но не работает в Clang. Мне было интересно, знает ли кто-нибудь, была ли это моя ошибка или проблема с GCC, MSVC или Clang?
Вот божий болт со всеми тремя открытыми компиляторами, я думаю, это иллюстрирует суть!
#include
#include

template
concept MyConcept = requires (T t){
requires t.member == 1;

//[clang's error]
// note: because 't.member == 1' would be invalid:
// constraint variable 't' cannot be used in an evaluated context
};

struct S {
constexpr static int member {2};
};
struct D {
constexpr static int member {1};
};

template
void func(){
std::cout

Подробнее здесь: https://stackoverflow.com/questions/685 ... -similar-c