Array.isArray type narrows to any[] for ReadonlyArray<T>

TypeScript Version: 2.4.1

Code

declare interface T {
  foo: string;
}

const immutable: T | ReadonlyArray<T> = [];

if (Array.isArray(immutable)) {
  const x = immutable; // Any[]  - Should be ReadonlyArray<T>
} 

const mutable: T | Array<T> = [];

if (Array.isArray(mutable)) {
  const x = mutable; // T[]
} 

Expected behavior: Should type narrow to ReadonlyArray<T>, or at the very least T[].

Actual behavior: Narrows to any[]. Doesn't trigger warnings in noImplicitAny mode either.

Commencez par reproduire l’exemple TypeScript 2.4.1 avec Array.isArray, ReadonlyArray et noImplicitAny. Suivez le comportement du rétrécissement de type pour les déclarations immuables et mutables, puis vérifiez que le type obtenu n’est plus any[] et correspond au rétrécissement attendu.