Make type argument inference make use of `@Covariant`.

[smillst]

This cause false positives with Optional types.