This makes no sense. We are not introducing a notion of reference type into the spec. The spec is already completely riddled with the concept of references and reference types. In fact many of the constraints that influence the current design come from that fact.
Sent from my iPad > On Jun 6, 2022, at 9:10 AM, Remi Forax <fo...@univ-mlv.fr> wrote: > > I don't think it's a good idea to introduce the notion of reference type in > the Java spec.