When mixing generic and non-generic code, the non-generic code should be
allowed to call a covariant method. The result should be a call to the
method with the most specific return type. It should not cause an
ambiguity error.

This is necessary to support retrofitting covariance onto existing APIs.