1 // { dg-options "-std=c++17 -fconcepts" }
2 
3 using TD = int;
4 
5 template<typename T>
C()6 concept bool C() {
7   return requires () { typename TD; };
8 }
9 
10 static_assert(C<int>(), "");
11