You can write a unit test for anything you can think of, of course. But a strongly-typed language will catch such errors automatically (and for free) at compil

You can write a unit test for anything you can think of, of course. But a strongly-typed language will catch such errors automatically (and for free) at compile time, even if you didn't anticipate the failure case.