Type parameter X of TypeParameter_variance_not_affected_2.Box2
invariant X, kind: TypeVar