You're not writing tests to catch type errors. You write tests that actually use your code, where a type error will almost certainly be picked up. Chances are

You're not writing tests to catch type errors. You write tests that actually use your code, where a type error will almost certainly be picked up. Chances are however, your type error will already occur the first time you run your code.