Attempted fix for #48

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[];
 }

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;
 }

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);
+    }
+  }
+});