Lambda templates and implicit function templates.

[Jason Merrill]

On 08/27/2013 03:42 PM, Adam Butcher wrote:
> Unfortunately, due to errors being thrown 'early' in grokdeclarator, I
> haven't been able to get 'auto...' (or reference/qualified variants)
> working yet.  I think I need to defer processing the parameter pack
> internals of grokdeclarator until I have the synthesized template
> parameter (or generate one on the fly in-place --- but that's
> returning to the old 'on-demand' implementation which we moved away
> from).

Hmm, yes.  I'm not sure which approach would be better.

> I don't know if it's the correct thing to do but the implementation
> currently omits the conversion to function pointer operator if the
> argument list contains a parameter pack.

I would expect that to work.  Does the specification not provide for 
deduction in that case?

> One other thing, assuming the 'auto...' syntax can be made to work,
> bug 41933 needs to be resolved for the expansion returned by the
> generic lambda in N3690 5.1.2.5 to compile.  Currently (transforming
> the 'auto&&...' to an explicit '<typename T...> T&&...') appears to
> yield the bug.

Bug 41933 is specifically about lambda capture; I think you're running 
into something else.

Jason