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

struct A {
  template <class>
  static constexpr bool val = true;
};

template <class T>
concept C = A::val<T>;

template<C T>
struct B {};