Частичный вывод шаблона класса С++ 17

Мое понимание вопроса о выводе аргумента шаблона для шаблонов классов заключалось в гомогенизации поведения функций шаблона и классов шаблонов в контекстах вычета. Но я думаю, что я должен был что-то не понимать.

Если у нас есть этот шаблонный объект:

template <std::size_t S, typename T>
struct test
{
    static constexpr auto size = S;
    using type_t = T;

    test(type_t (&input)[size]) : data(input) {}
    type_t (&data)[size]{};
};

Я стараюсь использовать вспомогательную функцию в качестве синтаксического сахара для создания объектов test:

template <std::size_t S, typename T>
test<S, T> helper(T (&input)[S]) { return input; }

Что можно использовать, как показано ниже:

int main()
{
    int buffer[5];

    auto a = helper<5, int>(buffer); // No deduction
    auto b = helper<5>(buffer);      // Type deduced
    auto c = helper(buffer);         // Type and size deduced

    std::cout << a.size << b.size << c.size;

    return 0;
}

Вышеуказанный код выводит 555, как ожидалось. Я пробовал то же самое в Wandbox, используя новую настройку компилятора ¹:

int main()
{
    int buffer[5];

    test<5, int> a(buffer); // No deduction: Ok.
    test<5> b(buffer);      // Type deduced: FAILS.
    test c(buffer);         // Type and size deduced: Ok.

    std::cout << a.size << b.size << c.size;

    return 0;
}

Похоже, что вывод аргумента шаблона для шаблонов классов работает только с выводом всех параметров, я ожидал, что оба поведения (вспомогательная функция и шаблон шаблона) будут одинаковыми, я что-то не понял?

---

¹ Последними компиляторами в Wandbox являются gcc HEAD 7.0.1 201701 и clang HEAD 5.0.0 (trunk).