Closed
Description
const f = <F extends (...args: any[]) => <G>(x: G) => void>(_: F): F => _
const a = f(<K extends string>(_: K) => _ => ({}))
/*
in 3.8.2
(_: K) => <G>(_: G) => {};
*/
/*
in 3.7.5
<K extends string>(_: K) => <G>(_: G) => {};
*/
Expected behavior:
To be like in 3.7.5
Actual behavior:
K is lost
Buggy:
Playground Link
Working:
Playground Link
Note:
reproduce on next too