mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
Since JBR 17.0.6, getPointerInfo was simplified and always returns non-null value which is inferred. However, in previous versions it could return null. To make the API stable, we will force UnknownNullability annotation GitOrigin-RevId: 6c8776911bb9661c7e120c3c33995c322d441b57