In Java, some array types are covariant and/or contravariant. In the case of covariance, this means that if T is compatible to U, then T[] is also compatible to U[].