Integrated: changing universal lint warning to unchecked warning

Wed Mar 16 17:01:34 UTC 2022

On Wed, 16 Mar 2022 16:56:03 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> A `universal` lint warning was being issue instead of an unchecked one, this patch is fixing this bug

This pull request has now been integrated.

Changeset: cc7c639e
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/valhalla/commit/cc7c639e057aea61b1372cb8b4b266c92f15c96c
Stats:     74 lines in 49 files changed: 5 ins; 59 del; 10 mod

changing universal lint warning to unchecked warning

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

PR: https://git.openjdk.java.net/valhalla/pull/671