D's limited template specialization abilities compared to C++

[Ahuzhgairl]

Kenji, thanks again for understanding exactly what I meant.

I am a big fan of template features. I seriously hope D can do 
this in the future- the inability of the *template system* to 
deduce information about non-types is one of the big holes in C++:

We can deduce information at function scope, yet the templates 
cannot do it!
This is a strange imbalance of nature.