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

リンク先の TypeScript Playground にあるオーバーロードの例を再現することから始め、リテラルを拡張するキャストを使ったバージョンと比較します。オーバーロードに対する実装互換性チェックを追跡します。完了の条件は、示された実装がキャストなしで両方のオーバーロードを満たし、このリグレッションをカバーするテストがあることです。