Бер берилген функция жана эки объект түрлөрүн текшерүү үчүн. Бир учурда TypeScript нааразы болбойт, экинчи учурда — болот. Функцияны типтештирүү керек, ошондо TypeScriptтин жүрүм-туруму күтүлгөнгө ылайык болот (generics жана keyof колдонуу менен).