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.r...@oracle.com> wrote: > On Nov 2, 2021, at 3:44 PM, Kevin Bourrillion <kev...@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. | kev...@google.com
