Why is there no parameter contra-variance for overriding?

Question

C++ and Java support return-type covariance when overriding methods.

Neither, however, support contra-variance in parameter types - instead, it translates to overl

Answer 1

Although this is a nice-to-have in any oo language, I still need to encounter it's applicability in my current job.

Maybe there isn't really a need for it.