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.

まず、Array.isArray、ReadonlyArray、noImplicitAny を使用した TypeScript 2.4.1 の例を再現します。不変および可変の宣言に対する型の絞り込みの動作を追跡し、その後、結果の型がもはや any[] ではなく、期待される絞り込みと一致することを確認します。