On Mon, Apr 25, 2022 at 3:56 PM Brian Goetz <brian.go...@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. | kev...@google.com
