Local functions infer attributes?

[Daniel N via Digitalmars-d]

On Monday, 29 September 2014 at 04:23:08 UTC, Timon Gehr wrote:
> On 09/29/2014 04:43 AM, Walter Bright wrote:
>>
>> You're right that tuples in D cannot contain storage classes
>
> void foo(ref int x){}
> alias p=ParameterTypeTuple!foo;
> pragma(msg, p); // (ref int)
>
> (But this does not help.)

Well, only if you are sufficiently desperate. ;)

struct S(alias T)
{
   void f(ParameterTypeTuple!T p)
   {
   }
}

S!((ref int x, int y){}) s;