Attempted fix for #48

mattpocock · Feb 22, 2023 · 4c2b406 · 4c2b406
1 parent 2f4a57e
commit 4c2b406
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 1 deletion.
diff --git a/src/entrypoints/is-array.d.ts b/src/entrypoints/is-array.d.ts
@@ -1,3 +1,3 @@
 interface ArrayConstructor {
-  isArray(arg: any): arg is unknown[];
+  isArray<T>(arg: T): arg is unknown extends T ? unknown[] : any[];
 }
diff --git a/src/entrypoints/utils.d.ts b/src/entrypoints/utils.d.ts
@@ -14,4 +14,6 @@ declare namespace TSReset {
     : T extends symbol
     ? symbol
     : T;
+
+  type Cast<A, B> = A extends B ? A : B;
 }
diff --git a/src/tests/is-array.ts b/src/tests/is-array.ts
@@ -23,3 +23,17 @@ doNotExecute(() => {
 
   type tests = [Expect<Equal<typeof paths, string[]>>];
 });
+
+doNotExecute(() => {
+  type Unarray<T> = T extends Array<infer U> ? U : T;
+
+  function test<T>(value: T) {
+    const inner = <X extends Unarray<T>>(v: X[]) => {
+      //
+    };
+
+    if (Array.isArray(value)) {
+      inner(value);
+    }
+  }
+});