// PR c++/92150
// { dg-do compile { target c++2a } }

struct X {
  int value;
  // auto operator==(const X&) = default;
};

template<typename T, X N>
struct b;

template<typename T>
inline constexpr bool is_b = false;

template<typename T, X N>
inline constexpr bool is_b<b<T, N>> = true;

using my_b = b<int, X{1}>;
static_assert(is_b<my_b>);