Static types solve it earlier though, especially for little-exercised code paths which could be forgotten or missed in testing.