match в Python теперь сужает типы до конца: ty закрыл все 22 случая

ty разбирает все 22 случая анализа потока управления и сужения типов в match. Их список собран в issue «Advanced pattern matching support», и непокрытых пунктов там не осталось. Чарли Марш объявил об этом 27 июля 2026.

Почему это важно: Проверяльщики типов спотыкались на match с самого его появления: каждая ветка сужает тип по-своему, а часть конструкций не разбирал никто. Под этот разнобой и завели issue на 22 пункта. Теперь ty проходит их все. В работе это значит, что внутри ветки переменная получает точный тип, а не исходный union, и жалоб на ровном месте становится меньше. В какой версии это уже лежит, в твите не сказано.

Что дальше: Возьмите свой модуль с match и прогоните по нему ty: если жалобы на ветки исчезли, эти 22 случая закрылись и у вас.