Տրված ֆունկցիա և երկու օբյեկտներ՝ տիպերը ստուգելու համար: Մի դեպքում TypeScript-ը չի բողոքում, մյուսում՝ այո: Ֆունկցիան պետք է տիպավորել այնպես, որ TypeScript-ի վարքագիծը համապատասխանի սպասվածին (օգտագործելով generics և keyof):