Local functions infer attributes?

[Manu via Digitalmars-d]

On 30 September 2014 16:06, Daniel N via Digitalmars-d
<digitalmars-d at puremagic.com> wrote:
> 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;

I have actually thought of that ;) ... but I tend to think that only D
users present on this forum are likely to make sense of that code, and
why.