Uma função dada e dois objetos para verificar tipos. Num caso, o TypeScript não reclama, no outro sim. É necessário tipar a função de modo que o comportamento do TypeScript corresponda ao esperado (usando generics e keyof).