Type parameter X of TypeParameter_variance_inv.Box
invariant X, kind: TypeVar