A second attempt at readonly array support persisting through isArray

Author: orta

lib/lib.es5.d.ts

@@ -1408,7 +1408,7 @@ interface ArrayConstructor {
     (arrayLength?: number): any[];
     <T>(arrayLength: number): T[];
     <T>(...items: T[]): T[];
-    isArray(arg: any): arg is any[];
+    isArray(arg: any): arg is readonly unknown[];
     readonly prototype: any[];
 }
 

src/compiler/checker.ts

@@ -22999,11 +22999,16 @@ namespace ts {
                     }
                 }
 
-                // If the candidate type is a subtype of the target type, narrow to the candidate type,
-                // if the target type is a subtype of the candidate type, narrow to the target type,
-                // otherwise, narrow to an intersection of the two types.
-                return isTypeSubtypeOf(candidate, type) ? candidate : isTypeSubtypeOf(type, candidate) ? type : getIntersectionType([type, candidate]);
-            }
+                 // If the candidate type is a subtype of the target type, narrow to the candidate type.
+                 // Otherwise, if the target type is assignable to the candidate type, keep the target type.
+                 // Otherwise, if the candidate type is assignable to the target type, narrow to the candidate
+                 // type. Otherwise, the types are completely unrelated, so narrow to an intersection of the
+                 // two types.
+                 return isTypeSubtypeOf(candidate, type) ? candidate :
+                     isTypeAssignableTo(type, candidate) ? type :
+                     isTypeAssignableTo(candidate, type) ? candidate :
+                     getIntersectionType([type, candidate]);
+                }
 
             function narrowTypeByCallExpression(type: Type, callExpression: CallExpression, assumeTrue: boolean): Type {
                 if (hasMatchingArgument(callExpression, reference)) {