commit b1102f7c478136bfe18ceaf7db9572a8a757a3d2
author Jason Merrill <jason@redhat.com> Mon Aug 05 11:21:05 2024 -0400
committer Jason Merrill <jason@redhat.com> Tue Aug 06 17:47:08 2024 -0400
tree 509297e10804b457ba8978602377fda377a02427
parent 987fc8174026cb3452b63d026cef686f4177526b

c++: alias and non-type template parm [PR116223]

My r14-8291 for PR112632 introduced IMPLICIT_CONV_EXPR_FORCED to express
conversions to the type of an alias template parameter.  In this example,
that broke deduction of X in the call to foo, so let's teach deduction to
look through it.

	PR c++/116223
	PR c++/112632

gcc/cp/ChangeLog:

	* pt.cc (deducible_expression): Also look through
	IMPLICIT_CONV_EXPR_FORCED.
	(unify): Likewise.

gcc/testsuite/ChangeLog:

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

(cherry picked from commit 4add6cd341a779e980e41ed6fb49175fca37496e)