2 ms·The type checking is a form of unit test. The compiler just does it for you automatically.by ww520 13y agoThe type checking is a form of unit test. The compiler just does it for you automatically.