Разбираем двухфазный алгоритм вывода типовых переменных в TypeScript: сбор кандидатов, разрешение, вариантность, пересечения и NoInfer. Узнайте, почему компилятор ведёт себя именно так.— Читать дальше «Как TypeScript выводит типы переменных: разбор алгоритма»