[Bug libstdc++/79195] make_array should not ask for common_type when the type is explicitly specified

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79195

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Author: redi
Date: Mon Jan 23 15:56:05 2017
New Revision: 244813

URL: https://gcc.gnu.org/viewcvs?rev=244813&root=gcc&view=rev
Log:
PR libstdc++/79195 fix make_array type deduction

        PR libstdc++/79195
        * include/experimental/array (__make_array_elem): New class template
        and partial specialization.
        (__is_reference_wrapper): Move into __make_array_elem specialization.
        (make_array): Use __make_array_elem to determine element type and move
        static assertion into specialization. Qualify std::forward call.
        (to_array): Add exception specifiation.
        * testsuite/experimental/array/make_array.cc: Test argument types
        without a common type.
        * testsuite/experimental/array/neg.cc: Adjust expected error message.

Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/experimental/array
    trunk/libstdc++-v3/testsuite/experimental/array/make_array.cc
    trunk/libstdc++-v3/testsuite/experimental/array/neg.cc