Skip to content
Snippets Groups Projects
Commit 26d3424c authored by A J Ryan Solutions Ltd's avatar A J Ryan Solutions Ltd Committed by Jason Merrill
Browse files

c++: find A pack from B in <typename...A,Class<A>...B> [PR118265]


For non-type parameter packs when unifying the arguments in
unify_pack_expansion it iterates over the associated packs of a param so
that when it recursively unifies the param with the arguments it knows
which targs have been populated with parameter pack arguments that it can
then collect up. This change adds a tree walk so that in the example above
it reaches ...A and adds it to the associated packs for ...B and therefore
knows it will have been set in targs in unify_pack_expansion and processes
it as per other pack arguments.

	PR c++/118265

gcc/cp/ChangeLog:

	* pt.cc (find_parameter_packs_r) <case TEMPLATE_PARM_INDEX>:
	Walk into the type of a parameter pack.

Signed-off-by: default avatarAdam J Ryan <gcc.gnu.org@ajryansolutions.co.uk>
parent 4c743798
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment