Eine gegebene Funktion und zwei Objekte zum Überprüfen der Typen. In einem Fall beschwert sich TypeScript nicht, im anderen Fall tut es das. Die Funktion muss so typisiert werden, dass das Verhalten von TypeScript dem erwarteten entspricht (unter Verwendung von Generics und keyof).