scala/scala — pull request #975 by adriaanm (2012-07-23 07:41:24+00:00)
Title: SI-4881 infer variance from formals, then result

resubmission of #959 (added @retronym's variations to the test case)

Changed behavior so that when determining the target variance of a method parameter,
the variance in formals comes first. If variance is still undecided by that,
the variance in the result type is used as a secondary criterion.

(This is also done when determining prototype type params.)