(Proof-of-concept) C++17 make_array implementation

make_array.hpp

template <class T = void, class... Args>
constexpr auto make_array(Args&&... t) {
  // T is not void: deduced array type is T
  if constexpr (!std::is_same<T, void>()) {
    return std::array<T, sizeof...(Args)> { std::forward<Args>(t)... };
  }
  // T is void: deduced array type is U = std::common_type_t<Args...>
  using U = std::common_type_t<Args...>;

  // T is void and one of the argument is a specialization of std::reference_wrapper<U>: ill-formed
  static_assert(!std::disjunction_v<std::is_same<std::reference_wrapper<U>, Args>...>, "reference_wrappers are not allowed");

  return std::array<U, sizeof...(Args)> { std::forward<Args>(t)... };
}