[C++1y] [PATCH] Fix PR c++/58500

[Adam Butcher]

On 23.09.2013 19:02, Jason Merrill wrote:
> On 09/23/2013 02:08 AM, Adam Butcher wrote:
>> Note that this doesn't mean that 'auto' parameters in a function ptr
>> will be treated the same; I think we need a special case for this in 
>> the
>> implicit template parameter introduction code (or refactor to 
>> generate
>> template parm types on the fly).
>
> It is seeming like generating the types on the fly will make various
> things simpler; otherwise we need to deal with rewriting arbitrarily
> complex types later on.
>
Agreed.  We can arrange for the parm trees to be as if the user had 
explicitly specified the template and then subsequent logic will proceed 
'naturally'.  I'll look into it.