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