MSVC Template partial specialization bug repro

vs_2019_template_specialization_bug.h

template <typename T>
struct type_and_nttps
{
    static constexpr bool value = false;
};

template <template <typename> typename T, typename U>
struct type_and_nttps<T<U>>
{
    static constexpr bool value = false;
};

template <template <typename, auto...> typename T, typename U, auto... N>
struct type_and_nttps<T<U, N...>>
{
    static constexpr bool value = true;
};

template <typename TN>
struct test{};

template <typename T, int N>
struct vector{};

template <typename T, int R, int C>
struct matrix{};


static_assert(!type_and_nttps<float>::value);
static_assert(!type_and_nttps<test<float>>::value);
static_assert(type_and_nttps<vector<float, 3>>::value);
static_assert(type_and_nttps<matrix<float, 3, 3>>::value);