[Issue 1900] Template overload sets & traits templates

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=1900





------- Comment #1 from samukha at voliacable.com  2008-08-09 06:20 -------
At least, there should be a way to merge template overload sets as it is the
case with function overload sets.

alias A.Traits Traits;
alias B.Traits Traits;
alias generic.Traits Traits;

Error: declaration Traits is already defined

Another use case:
----
template Foo(T)
{
    template Bar(U : T)
    {
    }
}

mixin Foo!(int) A;
mixin Foo!(char) B;

alias Bar!(int) bar; //error
----
Error: template instance Bar is not a template declaration, it is a overloadset


--