JEP 218: Generics over Primitive Types
simon at ochsenreither.de
Mon Oct 27 05:19:11 UTC 2014
> - If T is a value type, then we collapse wildcards to an invariant T.
Ok, thanks for the clarification. This seems to be exactly what I
What I'm wondering: For primitive types–e. g. int–it's fairly obvious
how to decide whether a user wants variance (by using the reference
type, Integer) or a better representation (int), but what's the story
here for value types?
E. g. is it possible/how would on express: I have an Vector of Value
Type, but I want the value Type to be boxed to use the variance of Vector?
More information about the valhalla-dev