Test updated: Added check for all cases for covariance/contravariance casts