Member predicate TypeParameter::isCovariant

Holds if this type parameter is covariant/is in.

predicate isCovariant()