I generally appreciate the extra type checking provided by Java Generics. There is no doubt they improve my code’s readability and maintainability while also improving my code’s runtime robustness.

Universal generics would allow Java type variables to range over primitive and reference types, making it easier to extend or reuse code across different types. Java would get universal generics under ...