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.

Start by reproducing the TypeScript 2.4.1 example with Array.isArray, ReadonlyArray, and noImplicitAny. Trace the type narrowing behavior for the immutable and mutable declarations, then verify that the resulting type is no longer any[] and matches the expected narrowing.