> 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 with a new target base due to a
merge or a rebase. The incremental webrev excludes the unrelated changes
brought in by the merge/rebase. The pull request contains 30 additional commits
since the last revision:
- addressing review comments
- addressing review comment
- simplifying tests
- Merge branch 'bworld' into lint.warning.for.overrides
- minor change
- adding support for method references
- doc changes
- adding support for records
- Merge branch 'bworld' into lint.warning.for.overrides
- minor change
- ... and 20 more: https://git.openjdk.org/valhalla/compare/4b32b22f...ed545591
-------------
Changes:
- all: https://git.openjdk.org/valhalla/pull/2058/files
- new: https://git.openjdk.org/valhalla/pull/2058/files/7c6cef8e..ed545591
Webrevs:
- full: https://webrevs.openjdk.org/?repo=valhalla&pr=2058&range=06
- incr: https://webrevs.openjdk.org/?repo=valhalla&pr=2058&range=05-06
Stats: 1004 lines in 40 files changed: 529 ins; 282 del; 193 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
