Что делает это присваивание в объявление типа TypeScript?

Question

[Fedooot01]

Здравствуйте, в переводе документации TS встретил такой код:

function f1<T, U extends keyof T = keyof T>(): void {}

Подскажите, зачем нужно это присваивание U extends keyof T = keyof T, почему нельзя написать просто U extends keyof T?

Comments

[WbICHA]

Без присвоения будет необходимо каждый раз предавать тип, с присвоением передача типа становится опциональной.
Собственно, аналогичная логика в жс:
const someFunc = (a, b = 0) => { ... }

[Дмитрий Беляев]

Ну и по сути, это не присваивание, а задание типа по умолчанию