Merge pull request #26 from totalolage/drop-infite-definition-fix

Fixed infinite definition on drop type

Author: KSXGitHub

lib/utils.ts

@@ -84,6 +84,10 @@ export type ConcatMultiple<TupleSet extends any[][]> = {
 ]
 
 export type Drop<Tuple extends any[], Quantity extends number, Count extends any[] = []> =
+  [
+    any[] extends Tuple ? true : false,
+    number extends Quantity ? true : false
+  ] extends true[] ? Tuple :
   Tuple extends [] ? Tuple :
   Quantity extends Count['length'] ? Tuple :
   ((...args: Tuple) => any) extends ((_: any, ..._1: infer Rest) => any)

spec/drop.ts

@@ -20,3 +20,18 @@ compare<
   Drop<[0, 1, 2, 3, 4, ...number[]], 9>,
   number[]
 >('equal')
+
+compare<
+  Drop<any[], number>,
+  any[]
+>('equal')
+
+compare<
+  Drop<[], number>,
+  []
+>('equal')
+
+compare<
+  Drop<any[], 1>,
+  any[]
+>('equal')