As @retronym points out, this clause should only restricted to object-private types, excluding object-protected ones.
I also thought this should also be restricted to type aliases, but this seems to be nowhere in the code (and I don't see a soundness bug there).

Because of @retronym's note, I propose to replace this by (a refactoring of):

> References to the type parameters in object-private or object-protected values, variables, or methods (\sref{sec:modifiers}) of the class are not checked for their variance position. Similarly, references to object-private (but not object-protected) types are not checked for their variance position.

But that's better refactored to sth. like:

> References to the type parameters are not checked for their variance position if they appear:
- in object-private types
- in object-private or object-protected values, variables, or methods