1 // { dg-do compile { target c++17 } }
2 // { dg-options "-fconcepts" }
3 
4 template<class T>
Addable()5 concept bool Addable(){
6  return requires(T x){
7   {x + x} -> T;
8  };
9 }
10 
main()11 int main(){
12  Addable t = 0;
13 }
14