mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
- check types (cherry picked from commit 38de5f89ab0d7b6874e40f213334af73eca3bbb2) IJ-CR-174524 GitOrigin-RevId: 62b19f0a1087edcf8c0980fe3b84f7408119768e