What are some problems with static types that make avoiding runtime errors impossible?

Types abstract away runtime details to provide guarantees statically.

-> Unable to guarantee within-bound constraints, etc.