1 // PR c++/92150 2 // { dg-do compile { target c++2a } } 3 4 struct X { 5 int value; 6 // auto operator==(const X&) = default; 7 }; 8 9 template<typename T, X N> 10 struct b; 11 12 template<typename T> 13 inline constexpr bool is_b = false; 14 15 template<typename T, X N> 16 inline constexpr bool is_b<b<T, N>> = true; 17 18 using my_b = b<int, X{1}>; 19 static_assert(is_b<my_b>); 20