C++17 Template Feature

Question

Can anybody explain this code in msvc implementation of std::array:

template <class _First, class... _Rest>
array(_First, _Rest...)->array<typename _Enforce_same<_First, _Rest...>::type, 1 + sizeof...(_Rest)>;