Ограничение не обрезает

export function save<T extends { name: string }>(entity: T): T {
  return entity;
}

export const savedAge = save({ name: "Макс", age: 30 }).age;

Возвращаемый тип T вместо { name: string }. Для вызова save({ name: "Макс", age: 30 }) это { name: string; age: number }, и .age читается без проблем.

Две роли extends

Полезно разделять, что делает каждая часть сигнатуры:

• T extends { name: string } это проверка на входе: без name не пустит.
• T в типе результата это обещание на выходе: вернётся то же, что пришло.

Если на выходе написать само ограничение, функция становится «воронкой»: принимает богатый объект, а отдаёт обеднённый.

Это и есть смысл дженерика с ограничением

В задании 4 было замечено, что lengthOf прекрасно работает без дженерика. Здесь без него не обойтись:

function save(entity: { name: string }): { name: string } {
  return entity;

Такая функция теряет лишние поля, и исправить это без T нельзя. Дженерик с ограничением нужен ровно тогда, когда функция должна и требовать что-то от типа, и сохранить его целиком.