Consolidating the user model

[John Rose]

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