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