Re: UDAs on templates

[Max Samukha]

On Wednesday, 16 October 2013 at 13:14:31 UTC, Max Samukha wrote:

On Wednesday, 16 October 2013 at 13:12:39 UTC, Max Samukha wrote:

I'd rather have the same set of attributes on both the template and its instantiations

Impossible, ignore

@(1)
template Foo(T : int) {}

@(2)
template Foo(T : short) {}

__traits(getAttributes, Foo) == ?

The current semantics seems quite reasonable.