Wrong overload inferred in generic function

[clo4]

TypeScript Version: 4.0.2

Search Terms:

• Overload inference
• Overload resolution
• Generic function overloaded

Expected behavior:
T gets inferred from value, should resolve overloaded to the most appropriate signature ((x: number) => number)

Actual behavior:
T is inferred from final signature of overloaded.

Related Issues:

• Possibly Allow calls to overloaded functions when all possible combinations of union type parameters resolve to valid overloads #17471?
• Possibly Generic type infer in overloaded function #32418?

Code

declare function overloaded(x: number): number;
declare function overloaded(x: string): string;

declare function wonky<T>(value: T, func: (x: T) => T): void;

wonky(1, overloaded)
//    ^-- Argument of type 'number' is not assignable to parameter of type 'string'.

// Maybe shouldn't resolve a type from a function with overloads unless there's
// no other option?

It's not pretty, but it can be worked around by forcing T to be inferred from value.

declare function wonky<T, _T extends T>(value: T, func: (x: _T) => _T): void;

wonky(1, overloaded)
// function wonky<number, number>(value: number, func: (x: number) => number): void

Output

"use strict";
wonky(1, overloaded);

Compiler Options

{
  "compilerOptions": {
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "strictBindCallApply": true,
    "noImplicitThis": true,
    "noImplicitReturns": true,
    "alwaysStrict": true,
    "esModuleInterop": true,
    "removeComments": true,
    "declaration": true,
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true,
    "moduleResolution": 2,
    "target": "ES2017",
    "jsx": "React",
    "module": "ESNext"
  }
}

Playground Link: Provided

[RyanCavanaugh]

Duplicate #32418; generic inference is limited to "last overload" in most cases. Overloads, whenever possible, should always have a final overload that covers all of the cases in a more general way.