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

[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:

  doc changes

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

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

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

  Stats: 3 lines in 1 file changed: 1 ins; 0 del; 2 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