On May 12, 2018, at 7:42 AM, Brian Goetz <[email protected]> wrote: > > >> 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
Yes, we are already there. Using aastore on V[] makes V[] <: Object[] almost a forced move. L-world brings values into a place where we can erase them to the types we are used to, as bounds in generics – John
