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

Thu Jul 20 03:16:12 UTC 2023

On Wed, 28 Jun 2023 04:11:15 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> addressing some review comments related to PR [1]
> 
> [1] https://github.com/openjdk/valhalla/pull/872

This pull request has now been integrated.

Changeset: a716bc85
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/a716bc8584988d9d91aff1d3c4a4d6f2b930c7d6
Stats:     558 lines in 8 files changed: 455 ins; 65 del; 38 mod

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

Reviewed-by: mcimadamore

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

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