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)

Commencez par reproduire l’erreur de TypeScript 2.7.2 avec l’exemple replaceFoo fourni et examinez les issues associées #20432, #20215 et #14107. Suivez les déclarations ou le comportement de vérification des types à l’origine de la résolution des surcharges de String.replace ; le travail est terminé lorsque l’exemple se compile sans affaiblir le comportement des autres cas de surcharge.