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)

Empieza reproduciendo el error de TypeScript 2.7.2 con el ejemplo replaceFoo proporcionado y revisa los issues relacionados #20432, #20215 y #14107. Rastrea las declaraciones o el comportamiento de comprobación de tipos que intervienen en la resolución de sobrecargas de String.replace; se considera terminado cuando el ejemplo compila sin debilitar el comportamiento de los demás casos de sobrecarga.