RFR: 8310905: [lw5] addressing review comments on null restricted types [v5]

Thu Jul 13 20:08:24 UTC 2023

On Wed, 12 Jul 2023 21:57:46 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> addressing some review comments related to PR [1]
>> 
>> [1] https://github.com/openjdk/valhalla/pull/872
>
> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
> 
>   addressing another round of review comments

offline comments by Dan:

A constructor call, and all literals, can be considered to have a null-restricted type.
We shouldn't report warnings about things like:
Foo! f = new Foo(...); or String! s = "abc";

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/880#issuecomment-1634834072