[Bug c++/99186] std::tuple compilation error when elements are specializations of template class declared with template < auto E > syntax with E being a enumerator of a enum

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:35ba3add7d0a9fc6ce955ba8ad82b0413e86ad7d

commit r14-6520-g35ba3add7d0a9fc6ce955ba8ad82b0413e86ad7d
Author: Patrick Palka <ppalka@redhat.com>
Date:   Wed Dec 13 15:55:14 2023 -0500

    c++: unifying constants vs their type [PR99186, PR104867]

    When unifying constants we need to treat constants of different types
    but same value as different in light of auto template parameters since
    otherwise e.g. A<1> will unify with A<1u> (where A's template-head is
    template<auto>).  This patch fixes this in a minimal way; it seems we
    could get away with just using template_args_equal here, as we do in the
    default case, or even just cp_tree_equal since the CONVERT_EXPR_P loop
    seems to be dead code, but that's a simplification we could consider
    during next stage 1.

            PR c++/99186
            PR c++/104867

    gcc/cp/ChangeLog:

            * pt.cc (unify) <case INTEGER_CST>: Compare types as well.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1z/nontype-auto23.C: New test.
            * g++.dg/cpp1z/nontype-auto24.C: New test.