Early detection of type errors in templates

[bearophile via Digitalmars-d]

This paper suggests a way to improve the detection of errors 
inside C++-style templated code without reducing expressivity of 
the templates (and without annotations or Concepts), I presume 
the same ideas are usable in D:

"Early Detection of Type Errors in C++ Templates" by Sheng Chen, 
Martin Erwig:
http://web.engr.oregonstate.edu/~erwig/papers/C++TemplateErrors_PEPM14.pdf
Bye,
bearophile