Re: [PATCH] c++: Recursive unification with packs and explicit targs [PR94628]

2020-04-20 Thread Patrick Palka via Gcc-patches
On Mon, 20 Apr 2020, Jason Merrill wrote: > On 4/19/20 12:55 PM, Patrick Palka wrote: > > This PR seems to be similar to PR c++/43382, except that the recursive call > > to > > the variadic function with trailing return type in this testcase is > > additionally > > given some explicit template argu

Re: [PATCH] c++: Recursive unification with packs and explicit targs [PR94628]

2020-04-20 Thread Jason Merrill via Gcc-patches
On 4/19/20 12:55 PM, Patrick Palka wrote: This PR seems to be similar to PR c++/43382, except that the recursive call to the variadic function with trailing return type in this testcase is additionally given some explicit template arguments. In the first testcase below, when resolving the recurs

[PATCH] c++: Recursive unification with packs and explicit targs [PR94628]

2020-04-19 Thread Patrick Palka via Gcc-patches
This PR seems to be similar to PR c++/43382, except that the recursive call to the variadic function with trailing return type in this testcase is additionally given some explicit template arguments. In the first testcase below, when resolving the recursive call to 'select', fn_type_unification fi