RefObject and ValObject
    forax at univ-mlv.fr 
    forax at univ-mlv.fr
       
    Mon Apr 15 21:10:03 UTC 2019
    
    
  
> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "Maurizio Cimadamore" <maurizio.cimadamore at oracle.com>,
> "valhalla-spec-experts" <valhalla-spec-experts at openjdk.java.net>
> Envoyé: Lundi 15 Avril 2019 22:46:08
> Objet: Re: RefObject and ValObject
>> yes !
>> all generics will suddenly accept value types.
> Yes, this is by design. If you can’t have an ArrayList of Point, that would be
> terrible. Of course, until we have specialization (later in the story), these
> will be erased, and restricted to the nullable projection.
Does it means that Point? is a subtype of RefObject ? 
Note: the second question mark in this sentence is because it's a question. 
Rémi 
    
    
More information about the valhalla-spec-observers
mailing list