Function implementation that returns literal types is not assignable to widened overload

TypeScript Version: 3.8.3

Search Terms: overload widen literal

Code

function foo(x: string): string;
function foo(x: number): number;

function foo(x: string | number) {
    if (typeof x === 'string') return 'foo';
    return 23;
}

Expected behavior: Implementation satisfies overloads.

Actual behavior: The first overload throws an error that it doesn't match the implementation. Doesn't matter which overload comes first.

Playground Link

If I widen the literals in the implementation by casting them then everything works fine.

Related Issues: https://github.com/microsoft/TypeScript/issues/37393

Beginne damit, das Overload-Beispiel im verlinkten TypeScript Playground zu reproduzieren, und vergleiche es mit der Version, die Widening-Literal-Casts verwendet. Verfolge die Prüfung der Implementierungskompatibilität für Overloads; abgeschlossen ist die Aufgabe, wenn die gezeigte Implementierung beide Overloads ohne Casts erfüllt und eine Abdeckung für diese Regression vorhanden ist.