Simplifying reified generics with partial specialization

Simon Ochsenreither simon at
Mon Jan 5 15:41:21 UTC 2015

 > Why, you'd get an NPE, of course! While ArrayList<int> would be a 
List<Integer>, it will *not* be an ArrayList<Integer>.

That sounds incredibly asymmetric. What's the rule behind "it implements 
X, but not Y"?

What about the second, more interesting case I mentioned?

More information about the valhalla-dev mailing list