I'd say that depends on implementation; a lot of languages will only check types on compile. If anything it's a hint for developers, something that their editor will error on if they try and do something wrong.