RFR: [bworld] Emit lint warnings if overriding method does not have same nullability [v6]

[Vicente Romero]

> emit a lint warning for cases like:
> 
> class Test {
>     String! m(String s) { return ""; }
> }
> class Sub extends Test {
>     @Override
>     String m(String s) { return null; }
> }
> 
> or:
> 
> class Test {
>     String m(String! s) { return ""; }
> }
> class Sub extends Test {
>     @Override
>     String m(String s) { return null; }
> }

Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:

  adding support for method references

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

Changes:
  - all: https://git.openjdk.org/valhalla/pull/2058/files
  - new: https://git.openjdk.org/valhalla/pull/2058/files/7c33a9f2..7c6cef8e

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=2058&range=05
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=2058&range=04-05

  Stats: 50 lines in 4 files changed: 49 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/valhalla/pull/2058.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/2058/head:pull/2058

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