https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57919
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- MSVC also rejects this code for the same reason as GCC: <source>(32): error C2752: 'foo<1,1,sequence<>>': more than one partial specialization matches the template argument list <source>(19): note: could be 'foo<A,B,sequence<integer<Ts>...>>' <source>(25): note: or 'foo<B,B,sequence<integer<Ts>...>>' <source>(32): error C2027: use of undefined type 'foo<1,1,sequence<>>' <source>(32): note: see declaration of 'foo<1,1,sequence<>>' <source>(32): error C2061: syntax error: identifier 'type'
