Array types in Java are not implicitly contravariant, but they can be explicitly contravariant , just like generic types. I’ll offer some examples later in the article. Type-dependent elements ...