Pinning invariant

The requirement that an address-sensitive value stays at one valid location until its destruction finishes.

Also known as pin invariant