https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105652

--- Comment #2 from 康桓瑋 <hewillk at gmail dot com> ---
More reduced.

template<class>
concept C = [] { return true; } ();

template<class T> // <-- ok if not 'T'
struct S {};

template<class T>
  requires C<T>
struct S<T> { constexpr static bool value = true; };

static_assert(S<int>::value);

https://godbolt.org/z/7WK8TTaMs

Reply via email to