1 // { dg-options "-std=c++17 -fconcepts" }
4 concept bool Class () { return __is_class(T); }
6 void f1(auto a) requires Class<decltype(a)>() { }
8 // FIXME: This is generating excess errors related to pretty
9 // printing the trailing requires expression.
11 requires requires (decltype(a) x) { -x; }
17 f1(0); // { dg-error "cannot call" }
18 f2((void*)0); // { dg-error "cannot call" }