mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Fixes IDEA-369220 JSpecify support - wrong warning when Nullable method is declared in NullMarked scope and overridden (cherry picked from commit 50163bfda72bd1f583dda644c668b78859fac022) IJ-CR-159281 GitOrigin-RevId: fc33b9c9f8ae165baba5a70c00b91267e57d68b1