Проверить пример в уроке Дженерики (Типы)

[dzencot]

https://code-basics.com/ru/languages/typescript/lessons/generic-types#comment-6391690475

В примере "Ограничения дженериков" код якобы с ошибкой, но компилятор не показывает ошибку