Pode explicar o que é uma verificação de tipo (Type Guard) e como ela é usada no TypeScript?

A verificação de tipo (Type Guard) em TypeScript é uma forma de esclarecer o tipo de uma variável durante a execução, para que o compilador possa trabalhar com ela de forma segura. A verificação de tipo ajuda a evitar erros relacionados com o uso incorreto de tipos.

Por exemplo, se tiver uma variável que pode ser uma string ou um número, pode usar uma verificação de tipo para verificar o seu tipo e realizar as ações correspondentes:

function exemplo(valor: string | number) {
  if (typeof valor === 'string') {
    // Aqui, o TypeScript sabe que valor é uma string
    console.log(valor.toUpperCase());
  } else {
    // Aqui, valor é um número
    console.log(valor.toFixed(2));
  }
}

A verificação de tipo pode ser implementada usando os operadores typeof, instanceof ou funções personalizadas que retornam uma verificação de tipo.