C++0x Concepts - Dead?

[BLS]

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.
> 

will see what Walter is thinking.
Maybe we can call that stuff later on ... meta generics ? Now serious , 
looking a bit ahead, complete templated decision trees are /at least/ 
imaginable.

> Is there a difference between
> template Foo(T : U) {} and 
> template Foo(T) if(is(T : U)) {} ?
> 
erm, give me an hour or so.. :)