[External] Foo / Foo.ref is a backward default; should be Foo.val / Foo
Kevin Bourrillion
kevinb at google.com
Mon Apr 25 20:56:23 UTC 2022
On Mon, Apr 25, 2022 at 3:56 PM Brian Goetz <brian.goetz at oracle.com> wrote:
> there are TWO users, the one who wrote the library, and the one using it
Yes, precisely. In the general case, these are distinct parties. In the
specific case, they'll sometimes be the same. The owner of a non-identity
class only gets to choose whether the value type (if B3) exists at all or
(if B2) does not. The use-site then either (if B3) has a choice of which
type to use, or (if B2) has no choice.
Many of the responses seem to just be overlooking or misunderstanding this
distinction. I'm sorry if I wasn't being clear.
--
Kevin Bourrillion | Java Librarian | Google, Inc. | kevinb at google.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20220425/e84aa29e/attachment.htm>
More information about the valhalla-spec-experts
mailing list