Invariance

A variance rule that does not carry a subtype relation through a generic type constructor.

Also known as invariant generic