T[#] can be a type or an array of types

[BCS]

Reply to Koroskin,

I'm not sure what you are getting at. What I was getting at is that T[#] 
can be interpreted in two ways depending on if T is or is not a tuple. In 
some odd corner cases this could end up causing some compile time bugs and 
also it generates some complexities in parsing D. There really is no way 
to fix it. It's just an odd corner of D.