inference doesn't work

[zpdDG4gta8XKpMCd]

type Unknown = {} | null | undefined | void;
void function f<T, K extends keyof T>(
   fn: (data: T) => T[K]
): (data: T) => Unknown {
    return fn; /* <-- expected to work, actual:
    Type '(data: T) => T[K]' is not assignable to type '(data: T) => Unknown'.
      Type 'T[K]' is not assignable to type 'Unknown'.
        Type 'T[K]' is not assignable to type '{}'.
*/
}

[ajafff]

Duplicate of #21368

[zpdDG4gta8XKpMCd]

how is it a duplicate of a work as intended? excuse me Unknown | null | undefined | void is a top type to any other type out there, and it is in co-variant position, so it must work

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.