RFR: improvements to lint warning on method overriding [v2]

[Vicente Romero]

On Fri, 13 Feb 2026 14:11:08 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   additional test
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java line 4017:
> 
>> 4015:                                 LintWarnings.IncompatibleNullRestrictions(
>> 4016:                                         Fragments.LambdaArgumentTypeNullabilityMismatch(incompatibleParam.overridingType(),
>> 4017:                                                 incompatibleParam.overridenType(), tree.target)));
> 
> I've missed this last time -- should this code only run _after_ speculative attribution, when the types are settled?

yes makes sense, we are doing that for method references

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/2098#discussion_r2804463183