Okay, sure, but that's just the classic argument for static type systems, i.e., soundness.

I thought he was trying to allure to something more.