18.2.3.2 Variance safety constraints not actually specified

In "18.2.3.2 Variance safety" we have

> Intuitively, an output-unsafe type is prohibited in an output position, and an input-unsafe type is prohibited in an input position.

That "intuition" isn't backed up by any rules to enforce or specify what it means.