mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Otherwise, if the corresponding field is loaded lazily, it might not be initialized by the moment of the check. GitOrigin-RevId: b4954609a7fc49344b306cd107469cc7ab6eea66