Compile-time checks can't make guarantees about 3rd party code or user input.