[Bug c++/112632] [14 Regression] Non-type template parameter created with converting constructor sometimes has original type

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

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

--- Comment #7 from GCC 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:a0536f80ffa6cde5900644dcd129d2086c237a8a

commit r16-4115-ga0536f80ffa6cde5900644dcd129d2086c237a8a
Author: Jason Merrill <ja...@redhat.com>
Date:   Tue Sep 23 11:19:49 2025 +0100

    c++: concepts and conversions [PR112632]

    One case missed in my fix for this PR: Here we were omitting the
    IMPLICIT_CONV_EXPR that expresses the conversion from int to char because
    the target type was non-dependent and the argument was not type-dependent.
    But we still need it if the argument is value-dependent.

            PR c++/112632

    gcc/cp/ChangeLog:

            * pt.cc (convert_template_argument): Also force IMPLICIT_CONV_EXPR
            if the argument is value-dependent.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/concepts-conv4.C: New test.