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

[Vicente Romero]

On Wed, 11 Feb 2026 18:23:57 GMT, Vicente Romero <vrom...@openjdk.org> wrote:

>> 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:
> 
>   restoring code

thanks for the reviews!

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

PR Comment: https://git.openjdk.org/valhalla/pull/2058#issuecomment-3891179460