gcc/testsuite/g++.dg/concepts/class1.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// { dg-options "-std=c++1z -fconcepts" }

template<typename T>
  concept bool C() { return __is_class(T); }

template<typename T>
  requires C<T>()
    struct S { };

struct X { };

S<X> sx;

int main() { }