resolution, promotion, and covariance