mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
Otherwise, if the corresponding field is loaded lazily, it might not be initialized by the moment of the check. GitOrigin-RevId: b4954609a7fc49344b306cd107469cc7ab6eea66