String.replace does not accept string | (string, ...any[]) => string replacer

TypeScript Version: 2.7.2

Search Terms: String.replace overload union parameter

Code

type ReplacerFn = () => string;
type Replacer = string | ReplacerFn;

function replaceFoo(str: string, replacer: Replacer) {
    return str.replace(new RegExp("foo"), replacer);
}

Expected behavior:
Compiles successfully.

Perhaps the change is as simple as combining the two overloads into a union, though the implications of that change are possibly unpleasant as far as tooling is concerned.

Actual behavior:
bad.ts(5,43): error TS2345: Argument of type 'Replacer' is not assignable to parameter of type '(substring: string, ...args: any[]) => string'. Type 'string' is not assignable to type '(substring: string, ...args: any[]) => string'.

Playground Link: playground link

Related Issues:
#20432 (Array.from)
#20215 (new Date)
#14107 (underlying issue)

まず、提供された replaceFoo の例で TypeScript 2.7.2 のエラーを再現し、関連する issue #20432、#20215、#14107 を確認します。String.replace のオーバーロード解決の背後にある宣言または型チェックの動作を追跡します。完了の条件は、他のオーバーロードケースの動作を弱めることなく、例がコンパイルできることです。