Як функсия дода, ва ду объект барои санҷиши навъҳо. Дар як ҳолат TypeScript шикоят намекунад, дар дигар — мекунад. Функсия бояд чунин типӣ шавад, ки рафтори TypeScript мувофиқи интизорӣ бошад (бо истифода аз generics ва keyof).