1 // PR c++/84330
2 // { dg-options "-fconcepts" }
3 
4 struct A
5 {
6   template<typename T> requires sizeof(T) >> 0 void foo(T);  // { dg-error "predicate constraint" }
7 
barA8   void bar()
9   {
10     foo(0);  // { dg-error "no matching" }
11   }
12 };
13