მოცემული ფუნქცია და ორი ობიექტი ტიპების შემოწმებისთვის. ერთ შემთხვევაში, TypeScript არ გაჩივლობს, მეორეში — კი. ფუნქციას უნდა მიენიჭოს ტიპი ისე, რომ TypeScript-ის ქცევა შეესაბამებოდეს მოსალოდნელს (generics და keyof-ის გამოყენებით).