A Microsoft observa alguns limites para o recurso. A verificação especial, por exemplo, só acontece quando um único parâmetro está associado ao tipo que está sendo verificado em um tipo condicional ou usado como uma chave em um tipo de acesso indexado. Ao usar um tipo condicional, pelo menos dois cheques devem existir, com uma filial de terminal incluindo never. O tipo do parâmetro deve ser genérico e ser restringido por um tipo de união. No geral, as verificações não ocorrerão quando um tipo específico estiver associado ao parâmetro do tipo.

Com o TypeScript 5.8, os desenvolvedores não terão que esperar muito por uma disponibilidade geral, de acordo com o cronograma de lançamento. Um candidato de liberação será vencido em 11 de fevereiro e a versão final deve chegar a 25 de fevereiro. O TypeScript 5.8 segue o lançamento do TypeScript 5.7 em novembro, que apresentou um relatório de erro aprimorado.

Outros recursos planejados para o TypeScript 5.8 incluem o seguinte: