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