Why does `ScopedValue.where(SCOPE_VALUE, val).call()` throw Exception?

[Holo The Sage Wolf]

> Do you have a way to help me find that Amber discussion?

Here is the start of the thread:
https://mail.openjdk.org/pipermail/amber-dev/2023-March/007849.html

But the relevant part (the discussion I had with Brian Goetz) starts here:
https://mail.openjdk.org/pipermail/amber-dev/2023-March/007858.html

The end conclusion was what you probably expect it to be, but I think it is
important discussion to have and I hope that when few features will finally
finalize and there will be a bit of free time to the team the discussion
will start to be active again

On Thu, Apr 13, 2023 at 1:45 PM Andrew Haley <aph-open at littlepinkcloud.com>
wrote:

> On 4/13/23 11:23, Holo The Sage Wolf wrote:
> > As a side note, generally I'm a bit disappointed
>
> You and everybody else.
>
> > from the state of
> > exceptions with generics in Java, not too long ago I talked about it in
> (I
> > believe) the Amber mailing list about possible improvements in the
> future.
>
> I've spent a fair bit of time discussing this kind of thing with Brian
> Goetz
> et al., and it's just a very hard problem. Any "Hey, let's do this!"
> probably
> will have some unfortunate side effects somewhere.
>
> Do you have a way to help me find that Amber discussion?
>
> --
> Andrew Haley  (he/him)
> Java Platform Lead Engineer
> Red Hat UK Ltd. <https://www.redhat.com>
> https://keybase.io/andrewhaley
> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
>
>

-- 
Holo The Wise Wolf Of Yoitsu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/loom-dev/attachments/20230413/5831009b/attachment.htm>