1 // { dg-do compile { target c++17_only } }
2 // { dg-options "-fconcepts-ts" }
4 template<typename T1, typename T2>
5 concept bool C1 = true;
7 template<typename T1, typename T2, typename T3>
8 concept bool C2 = true;
11 template<C1 T> // { dg-error "wrong number of template arguments" }
12 constexpr bool f1( ) { return true; }
14 template<C2<int> T> // { dg-error "wrong number of template arguments" }
15 constexpr bool f2( ) { return true; }