mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 00:20:55 +07:00
Check if the being resolved element is in the list of case label elements first and only if it's not, go deeper into case label elements' resolvers. GitOrigin-RevId: 63280ccb3bbf95660c5f74f35dc5de4cf34752b6