Question about universal type variables

[Robbe Pincket]

On Wed Jul 27 19:22:51 UTC 2022, Brian Goetz wrote:

> It is a type of indeterminate ref-ness or val-ness.  This will have both
restrict some old behavior and provide some new behavior.  For example:
>
>     T t = null;
>
> will generate an unchecked warning, since we can't be sure we're not
polluting the heap with nulls.

I seem to remember there being talks about `IdentityObject` and `ValueObject` interfaces or something similar, is this still planned. If so, would the warning go away if `T` has a typebound of `IdentityObject` and become an error if it has a typebound of `ValueObject`

Regards
Robbe Pincket
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-observers/attachments/20220727/4a500ccc/attachment-0001.htm>