This is precisely my point. In the examples above, the checks are implemented in specific cases, and not universally; so the whole point of static typing is the

This is precisely my point. In the examples above, the checks are implemented in specific cases, and not universally; so the whole point of static typing is the analysis, and not runtime safety.