Analysis of Covariance in Java Generics and Conflicts with Design Principles

In Java's generic system, covariance refers to the ability to use a subtype generic where a supertype generic is expected, typically expressed through ? extends T. For example: List<? extends Number> numbers = new ArrayList<Integer>(); Covariance ma...