What is "invariance of the code"?

The Wikipedia page for strong and weak typing says:

"Strong typing" generally refers to use of programming language types in order to both capture invariants of the code

What is "invariants of the code"? There is no link for that