Duota funkcija ir du objektai tipų tikrinimui. Vienu atveju TypeScript nesiskundžia, kitu — skundžiasi. Funkciją reikia tipizuoti taip, kad TypeScript elgsis kaip tikėtasi (naudojant generics ir keyof).