Covariant

Result of a check whether two types are covariant

Values

ValueMeaning
distinct0

types are distinct

yes1

types are covariant

no2

arguments match as far as overloading goes, but types are not covariant

fwdref3

cannot determine covariance because of forward references

Meta