On 2012-11-09 08:28, Jonathan M Davis wrote:
But the types are already tested by the templat constraints and the fact that they compile at all. It's the functions' runtime behaviors that can't be tested, and no language can really test that at compile time, whereas unit test _do_ test the runtime behavior. So, you get both static and dynamic checks.
Well, I guess you're right. -- /Jacob Carlborg
