Why most static typing example show a problem that can be solved by a test.

I think there is something I cant see. Whenever someone introduce static typing, they show an example problem that can be solved with a test case.

Instead of comparing how tests would have solved it and how types can solve it, they don't even talk about tests