Yeah, that's how type systems work in most languages. That's why we have them: they prevent mistakes before you even run your code :)