Typescript: Generics are not propagated in higher order function with constraint

[OliverJAsh]

TypeScript Version: 3.5.2, 3.6.2

Search Terms:

Code

const fn = <T extends (param: any) => any>(t: T) => t;

// Workaround:
// const fn = <T extends <A>(param: any) => any>(t: T) => t;

const myGenericFn = <T>(t: T) => t;

// Expected: <T>(t: T) => T
// Actual: (t: any) => any
const result = fn(myGenericFn);

[ahejlsberg]

Funny, I just fixed a related issue by actually fixing this. See #33228.

[ahejlsberg]

Already fixed in #33228.