Verilən bir funksiya və tipləri yoxlamaq üçün iki obyekt. Bir halda, TypeScript şikayət etmir, digər halda isə edir. Funksiyanı tipizasiya etmək lazımdır ki, TypeScript-in davranışı gözlənilənlə uyğun olsun (generics və keyof istifadə edərək).