https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86883
--- Comment #7 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Another testcase (based off of the PR118454 testcase):
template<class T> using identity = T;
template<class T> struct A;
template<class... Ts>
struct B {
template<class U, Ts...> struct dual;
template<class T, int... Vs>
using ty1 = dual<identity<T>, Vs...>;
template<class T, int... Vs>
using ty2 = dual<T, Vs...>;
};
