// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }

template <int I> struct B { static const int i = I; };
template <int I> concept Few = I < 10;

constexpr int g(B<Few> b); // { dg-error "does not constrain a type|invalid" }