Here we must mark compatibility by casting, also known as type conversion. Similarly, ... is possible (in Java, at least), the array types Integer[] and Number[] are covariant.