mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
- check that record deconstructions have correct numbers of components - optimize `unwrapSealedTypes` a bit - fix type GitOrigin-RevId: 554ca9fbde5b37023924056418e9a25c2006b2c8