I wouldn’t say that static types remove the need for unit tests… but they do significantly reduce that need.

Static types and unit tests are not equivalent either. A static type check is a proof that the code is constructed in a valid way. Unit tests only verify certain input-output combinations.