Bug 24521 – Arguments supplied to template value parameters are not visible from the outside

## test case ```d struct S(int a) { } void main() { alias S1 = S!1; static assert(S1.a); } ``` ## output > t.d(6,19): Error: no property `a` for type `t.S!1` > t.d(1,1): struct `S` defined here > t.d(6,5): while evaluating: `static assert((S!1).a)` ## notes I suspect that while I think this should work, the problem that's observed could actually be related to "how template arguments are scoped" (so maybe an implementation detail ?) But this does not work either: ```d template S(int a) { struct S { } } void main() { alias S1 = S!1; static assert(S1.a); } ```

This is clearly invalid to me. A template param needs to be aliased to make it accessible from the outside, like `struct S(int a) { alias blub = a; }`.