> Specific issues with arrays and sub typing: I’ve lost track of the current state of this; is a V[] yet a subtype of Object[], as object classes are?
If values are to play nicely with erased generics, we have to get there. For
example:
<T> void sort(T[] elements, Comparator<T> c) { … }
This erases to
void sort(Object[] elements, Comparator c) { .. }
So to sort an array of V, we need V[] <: Object[].
