Eliminate unnecessary covariance checks.

This eliminates the erroneous checks inside of nested closures, and
eliminates checks where the type parameter is only used covariantly.

We still don't handle the cases where a generic is implemented by
a non-generic correctly.

BUG=
[email protected]

Review URL: https://codereview.chromium.org/1988613006 .

Author: leafpetersen