diff options
| author | eakozyrev <[email protected]> | 2026-07-13 14:16:51 +0300 |
|---|---|---|
| committer | eakozyrev <[email protected]> | 2026-07-13 14:46:11 +0300 |
| commit | 8865db458215f8589a2dce50ecf8abb083d2c095 (patch) | |
| tree | 85b89e6346917f01a8f0b80175a7f5ba402a027f /contrib/python/ipython | |
| parent | fd272736568e142fb1d5e3b73cb56ceb2d47ca9e (diff) | |
YQL-21242: Support Linear types in If branches
<section id="quibbler-autodescription">
#### Поддержка линейных типов в ветках оператора If 📝
- 🔄 Обновлена логика проверки использования линейных значений в ветках оператора `If`, теперь учитывается возможность использования значений в разных ветках и их совместимость по путям выполнения.
- 🛠 Добавлена проверка покрытия всех веток для линейных значений, чтобы избежать ситуаций, когда значение не используется на всех возможных путях выполнения.
- 🧠 Улучшена система отслеживания использования линейных значений, включая обработку вложенных условий и корректную проверку на повторное использование в одной ветке.
- ✅ Внесены изменения в оптимизатор, позволяющие корректно обрабатывать идентичные ветки в операторе `If`, улучшая производительность и корректность работы.
- 🧪 Добавлены новые тесты и обновлены существующие для проверки корректности работы с линейными типами в ветках `If` и `IfStrict`.
<a href="https://nda.ya.ru/t/qa0kX64r7DqvtN"><font size="2">Autodescription by Yandex Code Assistant</font></a>
</section>
Extended TUsageVisitor to track branch execution context.
commit_hash:3ec5339a9d4be05580088060917fc7c2996432b9
Diffstat (limited to 'contrib/python/ipython')
0 files changed, 0 insertions, 0 deletions