Integrated: changing universal lint warning to unchecked warning

Vicente Romero vromero at openjdk.java.net
Wed Mar 16 17:01:34 UTC 2022


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

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

Commit messages:
 - changing universal lint warning to unchecked warning

Changes: https://git.openjdk.java.net/valhalla/pull/671/files
 Webrev: https://webrevs.openjdk.java.net/?repo=valhalla&pr=671&range=00
  Stats: 74 lines in 49 files changed: 5 ins; 59 del; 10 mod
  Patch: https://git.openjdk.java.net/valhalla/pull/671.diff
  Fetch: git fetch https://git.openjdk.java.net/valhalla pull/671/head:pull/671

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



More information about the valhalla-dev mailing list