> The array type seems completely tractable and may be able to be caught by the compiler. This isn't an error, it was a design decision: https://en.wikipedia.

> The array type seems completely tractable and may be able to be caught by the compiler. This isn't an error, it was a design decision: https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)#Covariant_arrays_in_Java_and_C.23 https://en.wikipedia.org/wiki/Covariance_and_contravariance_... You could call it bad design, but fixing it would (imo) just make Java even worse than it already is.