1 // PR c++/98810
2 // { dg-do compile { target c++2a } }
3 
4 template <auto> struct a {};
5 template <int i, a <i> s = a <i> {}> using b = a <s>;
g(const b<i> &)6 template <int i> constexpr auto g (const b <i> &) { return true; }
7