[Bug c++/111357] [11/12/13/14 Regression] __integer_pack fails to work with values of dependent type convertible to integers in noexcept context

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #11 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:fd35d72a3dcd5ba14d81a1890236acd0145497e1

commit r14-4231-gfd35d72a3dcd5ba14d81a1890236acd0145497e1
Author: Jason Merrill <ja...@redhat.com>
Date:   Thu Sep 21 15:39:46 2023 +0100

    c++ __integer_pack conversion again [PR111357]

    As Jakub pointed out, the real problem here is that in a partial
    substitution we're forgetting the conversion to the type of the non-type
    template argument, because maybe_convert_nontype_argument doesn't do
    anything with value-dependent arguments.  I'm experimenting with changing
    that, but in the meantime we can work around it here.

            PR c++/111357

    gcc/cp/ChangeLog:

            * pt.cc (expand_integer_pack): Use IMPLICIT_CONV_EXPR.