Well let's supposed that casting of any sort is disallowed. Then the parameter is covariant.
However if the parameter type is a generic type & the method is a generic method; then it is contravariant. I'm thinking out loud here - and would appreciate some feedback/correction. e.g.
Post by:autobot
Mo-om! You're embarassing me! Can you just read a tiny ad like a normal person?
a bit of art, as a gift, the permaculture playing cards