Comment by cia_plant

All unit test assertions can be caught by a type checker.