Bug 539 – can't instantiate nested template of same name

template test(T){ T test(T i)(){ return i; } } int test2(int i)(){ return i; } template test3(T){ alias int dummy; T test3(T i)(){ return i; } } void main(){ assert(test2!(10)()==10);//ok assert(test3!(int).test3!(10)()==10);//ok assert(test!(int).test!(10)()==10);//compile error assert(test!(int)!(10)()==10);//syntax error }

I think that more short syntax is needed for nested templates. template Test(T)(T t){} class Test(T)(T t){} void Test(T)(T t)(){} So I want that fix like test!(int)!(10)().

By my analysis: - the line commented "compile error" should not compile - because test!(int) evaluates not to the template instance itself, but to the template function therein. - the line commented "syntax error" should compile and pass the assert. And BTW, please report compiler messages in full.

This is by design. There is no way to avoid the eponymous rewrite.