Uncomment the commented line for an assertion failure:

template foo(int i) { alias int t; }

void main()
{
foo!(0).t var0 = 0;
//  typeof(foo!(0).t) var1 = 0;
}