Re: [PATCH] c++: unexpanded pack in requires-expr parm list [PR107417]

2022-12-03 Thread Jason Merrill via Gcc-patches
On 12/2/22 14:42, Patrick Palka wrote: Here find_parameter_packs_r isn't recognizing the unexpanded pack T inside the requires-expr's parameter list ultimately because cp_walk_trees avoids walking the parameters, for good reason: in requires (Ts... ts) { } walking 'ts' would trigger a false

[PATCH] c++: unexpanded pack in requires-expr parm list [PR107417]

2022-12-02 Thread Patrick Palka via Gcc-patches
Here find_parameter_packs_r isn't recognizing the unexpanded pack T inside the requires-expr's parameter list ultimately because cp_walk_trees avoids walking the parameters, for good reason: in requires (Ts... ts) { } walking 'ts' would trigger a false positive in the unexpanded pack checker si