Consolidating the user model

[Kevin Bourrillion]

Hmm, I'd rather pretend I hadn't said it, if that will keep the focus on
the main points. :-)

I haven't caught up on the plans for equality in a long time.


On Tue, Nov 2, 2021 at 3:59 PM John Rose <john.r.rose at oracle.com> wrote:

> On Nov 2, 2021, at 3:44 PM, Kevin Bourrillion <kevinb at google.com> wrote:
>
>
> Btw, am I right that for the middle bucket, `==` will fail (at
> compile-time when possible)?
>
>
> I don’t see how middle bucket references, which behave very
> much like old-bucket references (id-classes), would tend to
> fail on ==/acmp any more than old-bucket references.
>
> Example please?
>
> If X is an old-bucket or middle-bucket type, then all of
> these are OK and lead to expected results:
>
> X x, x1;
> x == x
> x == x1
> x == null
>
> If Y is a class which is statically disjoint from X, then
> these may fail, but not through any bucket-related
> effect:
>
> Y y;
> x == y  //error: incomparable types: X and Y
>
> I think I’m missing your point…
>


-- 
Kevin Bourrillion | Java Librarian | Google, Inc. | kevinb at google.com