UDAs on templates

[Max Samukha]

On Wednesday, 16 October 2013 at 13:38:44 UTC, Dicebot wrote:
> On Wednesday, 16 October 2013 at 13:24:59 UTC, Max Samukha 
> wrote:
>> @(1)
>> template Foo(T : int) {}
>>
>> @(2)
>> template Foo(T : short) {}
>>
>> __traits(getAttributes, Foo) == ?
>>
>> The current semantics seems quite reasonable.
>
> @(1)
> void foo(int) {}
>
> @(2)
> void foo(double) {}
>
> pragma(msg, __traits(getAttributes, foo));
>
> void main() {}
>
> // Compilation output:
> //
> // tuple(1)

That sucks. Then, getAttributes (and other traits dealing with 
overload sets) should return an empty set, a union or accept a 
pattern to match against the members of the overload set.