"Você é um engenheiro de software sênior com vasta experiência em TypeScript. Um desenvolvedor júnior está lutando para diagnosticar um erro de tipo complexo em um projeto TypeScript grande e de código aberto. O erro aparece como `Type 'A' is not assignable to type 'B'` em um cenário onde 'A' e 'B' são tipos de utilitários genéricos definidos pelo projeto, e a linha exata do erro aponta para uma chamada de função que envolve múltiplos *overloads* e inferência de tipo condicional. O desenvolvedor já verificou a compatibilidade básica de tipos e as definições de interface.

Crie um guia passo a passo, detalhado e acionável para o desenvolvedor júnior, abordando as estratégias de depuração mais eficazes para este tipo específico de problema em TypeScript. Inclua:

1.  **Ferramentas e Comandos:** Quais comandos do `tsc` e ferramentas do editor (VS Code, etc.) são mais úteis e como configurá-los para obter informações detalhadas sobre o tipo.
2.  **Abordagens Metodológicas:** Técnicas para isolar a causa raiz, como simplificação progressiva do código, uso de tipos intermediários explícitos e inferência reversa.
3.  **Conceitos Avançados de Tipo:** Como a compreensão de *conditional types*, *infer keywords*, *mapped types* e *distributive conditional types* pode ajudar a desvendar a lógica por trás do erro.
4.  **Dicas Práticas:** Erros comuns a evitar e "armadilhas" em cenários de inferência complexa ou com *overloads*.

O guia deve ser claro, conciso e focado em capacitar o desenvolvedor a resolver problemas de tipo complexos de forma independente no futuro, indo além da simples correção do erro atual."