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

[Ahuzhgairl]

Kenji,
Thank you much for the '.C' alias support, Amazed to see there 
could be some action so quick!


Could we please look at the nontype-as-primary-template?

How can we deduce all of the dependent types from a non-type 
template parameter, if it's the only parameter of the primary 
template?



struct Foo {};
template <class> struct B { Foo x; }

template <nontype P> struct A;
// P is the primary-template param

template <auto M, auto C, nontype P> struct A<M C::*P> {
     // Given the call in main,
     // M is deduced as Foo
     // C is deduced as B<int>
     // P was passed successfully and we know the types that make 
it up.
}

int main() {
     auto mp = &B<B<int>>::x
     A<mp> a;
}