Type Guard

Type guard é uma construção que, após uma verificação de tipo, permite tratar um valor como um tipo mais específico em um trecho de código.