Closed GoogleCodeExporter closed 9 years ago
Thanks for your comment, Matthias! The statement was written in a way that was
prone to misinterpretation, and I apologize for that. I have now corrected it,
so the wiki page reads as follows (added text is surrounded by asterisks):
For example, you should know that subtyping *theory* permits arguments to change contravariantly *(even though Java forbids it for reasons related to overloading)*, whereas return values may change covariantly *both in theory and in Java*.
Thanks for pointing this out so that we could clarify the meaning -- I
appreciate it.
Original comment by michael.ernst@gmail.com
on 25 May 2014 at 4:35
Original issue reported on code.google.com by
matthias...@gmail.com
on 17 May 2014 at 9:50