[jdk16] Integrated: 8259025: Record compact constructor using Objects.requireNonNull

[Vicente Romero]

On Tue, 26 Jan 2021 15:51:37 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> Hi,
> 
> This PR is basically a backport to 16 of the code already reviewed at [PR-1917](https://github.com/openjdk/jdk/pull/1917).
> 
> TIA

This pull request has now been integrated.

Changeset: 408772c9
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/jdk16/commit/408772c9
Stats:     15 lines in 2 files changed: 11 ins; 1 del; 3 mod

8259025: Record compact constructor using Objects.requireNonNull

Reviewed-by: mcimadamore

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

PR: https://git.openjdk.java.net/jdk16/pull/133