What does this assignment do in a TypeScript type declaration?

Question

typescript

Hello, in the translation of the TS documentation I came across the following code:

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

Tell me why this assignment is needed U extends keyof T = keyof T, why can't you just write U extends keyof T?