UDAs on templates

[Dicebot]

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)