Data funkcija i dva objekta za proveru tipova. U jednom slučaju, TypeScript se ne žali, u drugom — da. Potrebno je tipizirati funkciju tako da ponašanje TypeScript-a odgovara očekivanom (koristeći generics i keyof).