Integrated: 8316561: [lw5] class file attribute NullRestricted shouldn't be generated for arrays

[Vicente Romero]

On Tue, 19 Sep 2023 23:16:22 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> This PR is fixing a bug, basically for code like:
> 
> value class V {
>     V[]! va;
>     public implicit V();
> }
> 
> the compiler shouldn't generate a NullRestricted attribute for field `va` in the future we probably issue a warning or a compiler error for this code pattern.

This pull request has now been integrated.

Changeset: 152b0aaa
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/152b0aaa6e85f514da5e5890a45efc020f825174
Stats:     12 lines in 2 files changed: 11 ins; 0 del; 1 mod

8316561: [lw5] class file attribute NullRestricted shouldn't be generated for arrays

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

PR: https://git.openjdk.org/valhalla/pull/928