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