"Walter Bright" <newshou...@digitalmars.com> wrote in message news:h3lkec$2k1...@digitalmars.com... > Christian Kamm wrote: >> BLS Wrote: >>> I have somehow the idea that D constraints and template specialization >>> should merge. >> >> I also feel that specialization may just be a special case of >> constraints - >> with the added benefit that implicit function template instantiation >> works. >> >> Is there a difference between >> template Foo(T : U) {} and template Foo(T) if(is(T : U)) {} ? >> > > Yes. Constraints determine the list of candidate template declarations, > but do not participate in the partial ordering of candidates to determine > the 'best' match.
Pardon my ignorance, but...umm...what?
