Simplifying reified generics with partial specialization

Simon Ochsenreither simon at ochsenreither.de
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