Added tests for generics covariance and type parameter assignability.