On 3/14/2013 3:02 PM, H. S. Teoh wrote: > Under a concepts system, this would be caught early because the compiler > would detect a concept mismatch (Unqual!T != T) when analysing the > template code. How would that be different from simply adding a template constraint?