27 июля 2026 г.
ty разбирает match/case до конца: закрыты все 22 случая сужения типов из issue
27 июля Чарли Марш написал, что ty закрыл все 22 случая из issue «Advanced pattern matching support». Речь про анализ потока управления и сужение типов внутри match/case: чекер должен понимать, какой тип у переменной в каждой ветке. Список случаев публичный, его собрали в одной issue.
Charlie Marsh
@charliermarsh
ty теперь разбирает все 22 случая анализа потока управления и сужения типов, которые перечислены в этом гигантском issue «Advanced pattern matching support»
· 18,4 тыс. просмотров
Почему это важно: Раньше поддержка match в ty была частичной: часть из этих 22 случаев чекер не разбирал, и в отдельных ветках тип переменной оставался широким. Теперь Чарли Марш заявляет полный охват списка. Проверить это можно не на слово: случаи перечислены в issue, каждый воспроизводится своим куском кода. О номере версии и дате стабильного релиза в твите молчат.
Не хотите разбираться сами? Внедряем ИИ в ваш бизнес: задачи без лимита, одна цена в месяц, отмена в любой момент.
Что дальше: Возьмите свой модуль с самыми ветвистыми match и прогоните ty: смотрите, остались ли ложные ошибки в ветках и где ещё нужны ручные подпорки для сужения типа.
Первоисточник