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