1 // { dg-do compile { target c++17_only } }
2 // { dg-options "-fconcepts-ts" }
7 concept bool C() { return __is_class(T); }
10 concept bool P() { return true; }
23 assert(s.f1<10>() == sizeof(S2) + 10);
27 C{A} P{B} int S1<A>::f1() { return B + sizeof(A); }