Public template types

[bearophile]

Sometimes I have to make a template type argument visible inside 
the instantiated type:


struct Foo(T_) {
     alias T = T_;
}
void main() {
     Foo!int f;
     static assert(is(f.T == int));
}


A little of syntax sugar could do the same, avoiding the need for 
a new name as "T_":

struct Foo(public T) {}

Do you like?

Bye,
bearophile