mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 09:39:37 +07:00
fixes failed check for different types returned on different threads (see JavaResolveCache#reportUnstableType) GitOrigin-RevId: a5efd5e5a9657ad55c74e413185959c517e341e8