Microsoft/TypeScript

type predicate-ness lost when using Function.prototype.bind

Open

#29.531 geöffnet am 22. Jan. 2019

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)TypeScript (6.726 Forks)batch import
Domain: lib.d.tsExperience EnhancementHelp WantedSuggestion

Repository-Metriken

Stars
 (48.455 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)

Beschreibung

TypeScript Version: 3.2.4 or @next as of 2019-01-22

Search Terms:

Code

const isArray: typeof Array.isArray = Array.isArray.bind(Array);

Expected behavior: Compiles.

Actual behavior:

Error message:

error TS2322: Type '(arg: any) => boolean' is not assignable to type '(arg: any) => arg is any[]'.
  Signature '(arg: any): boolean' must be a type predicate.

What seems to be happening is that the type predicate-ness of Array.isArray is lost when .bind is used. I tested with a few type predicate functions, and always get the same error.

Playground Link:

Not reproducible on playground, because it depends on a higher TS version.

In the playground, the type of the RHS is any, so there is no compilation error.

Related Issues:

Contributor Guide