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.

[RyanCavanaugh]

I’ll bring it to the design meeting next week. This is incredibly subtle, unfortunately.

[RyanCavanaugh]

Barring some unforeseen consequence

I have incredibly bad news… 😅. Every time we touch this thing something breaks. Happy to take a PR to try, though.