Comment by lbarrow

If you write unit tests that make assertions that would be caught by a type checker, you're writing bad tests.