> Having the compiler not complain that the types match is not effing "testing". It absolutely is - it's just testing at a _very_ low level of correctness, and

> Having the compiler not complain that the types match is not effing "testing". It absolutely is - it's just testing at a _very_ low level of correctness, and is not sufficient for testing actual high-level functionality.