Result of a check whether two types are covariant
types are distinct
types are covariant
arguments match as far as overloading goes, but types are not covariant
cannot determine covariance because of forward references
See Implementation
Result of a check whether two types are covariant