Add followup test to #52123 test (#52178)

microsoft · Jan 19, 2023 · 6622308 · 6622308
1 parent b7f619d
commit 6622308
Show file tree

Hide file tree

Showing 4 changed files with 242 additions and 152 deletions.
diff --git a/tests/baselines/reference/coAndContraVariantInferences2.js b/tests/baselines/reference/coAndContraVariantInferences2.js
@@ -23,6 +23,17 @@ function f2(b: B, c: C) {
     consume(c, c, useA);  // consume<C, C>
 }
 
+declare function every<T, U extends T>(array: readonly T[], f: (x: T) => x is U): array is readonly U[];
+
+function f3(arr: readonly B[] | readonly C[]) {
+    if (every(arr, isC)) {
+        arr; // readonly C[]
+    }
+    else {
+        arr; // readonly B[]
+    }
+}
+
 // Repro from #52111
 
 enum SyntaxKind {
@@ -120,6 +131,14 @@ function f2(b, c) {
     consume(b, b, useA); // consume<B, B>
     consume(c, c, useA); // consume<C, C>
 }
+function f3(arr) {
+    if (every(arr, isC)) {
+        arr; // readonly C[]
+    }
+    else {
+        arr; // readonly B[]
+    }
+}
 // Repro from #52111
 var SyntaxKind;
 (function (SyntaxKind) {