https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116223
--- Comment #4 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:b2a8ee0e5d8cfa92bafd0db4b03626b26ac21948 commit r15-2761-gb2a8ee0e5d8cfa92bafd0db4b03626b26ac21948 Author: Jason Merrill <ja...@redhat.com> Date: Mon Aug 5 13:20:17 2024 -0400 c++: more non-type template parms [PR116223] Building on the last patch, deduction should probably look through all IMPLICIT_CONV_EXPR like we do other conversions. One resulting regression turned out to be due to PR94568, fixed separately. The one other regression was for a seeming mismatch between a function and its address, handled here. Before this change we treated the IMPLICIT_CONV_EXPR as dependent because the template parameter has dependent type. PR c++/116223 gcc/cp/ChangeLog: * pt.cc (deducible_expression): Strip all IMPLICIT_CONV_EXPR. (unify): Likewise. Handle resulting function/addr mismatch.
