On Fri, 5 Apr 2024 19:58:27 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> > Does this make sense? > > While I am dubious about 3-tuples, your explanation makes enough sense that I > accept your reply. Thanks for the explanation. Yet another alternative notation, should we come up with one in the future. While I do believe that the erased notation is all we need, it has its issues, such as being lengthy and not very intuitive. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18519#issuecomment-2040546254