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

Comienza reproduciendo el ejemplo de sobrecarga en el TypeScript Playground enlazado y compáralo con la versión que usa casts de literales ensanchados. Traza la comprobación de compatibilidad de la implementación para las sobrecargas; se considera terminado cuando la implementación mostrada satisface ambas sobrecargas sin casts y existe cobertura para esta regresión.