fix(bindCallback): add better type overloads

[benlesh]

This is currently blocked, as it doesn't seem that TypeScript can really handle inferring types here like I hoped it could

[cartant]

Have you tried re-ordering the signatures so that those with the most parameters precede those with fewer parameters? The most specific signatures should come first.

I saw the issue you created and it looked to me like your approach would be fine.

This seemed similar to something that bit me a few months ago, but it appears that re-ordering won't help, here.

[benlesh]

Blocked by microsoft/TypeScript#22952

[cartant]

@benlesh I think you can disregard the amendment I made to the comment above. It most likely is only the ordering that's the problem.

I messed up my minimal repro and bound a generic function:

declare function func<T>(callback: (t: T) => void): void;
declare function bindCallback<T>(f: (callback: (t: T) => void) => void): T;
const result = bindCallback(func); // inferred as {}

I'm such a doofus. 😬

[lock]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.