1 // { dg-options "-std=c++17 -fconcepts" }
2 
3 template<typename T>
Tuple()4   concept bool Tuple() { // { dg-error "multiple statements" }
5     static_assert(T::value, "");
6     return true;
7   }
8 
9   void f(Tuple&);
10