fix: infer usages with 'as const' properly (#3)

TomerAberbach · Feb 23, 2022 · 1e2ea32 · 1e2ea32
1 parent 208b61d
commit 1e2ea32
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/src/collect.d.ts b/src/collect.d.ts
@@ -314,7 +314,7 @@ type CollectorToCollection<
     ? WeakSet<Value>
     : never
   : C extends MapCollector
-  ? Value extends [infer EntryKey, infer EntryValue]
+  ? Value extends readonly [infer EntryKey, infer EntryValue]
     ? MapCollectorToCollection<C, EntryKey, EntryValue>
     : never
   : never

diff --git a/src/curry.d.ts b/src/curry.d.ts
@@ -21,7 +21,7 @@ type Curried<Parameters extends ReadonlyArray<any>, Return> = <
   ...args: PartialParameters
 ) => PartialParameters extends Parameters
   ? Return
-  : Parameters extends [
+  : Parameters extends readonly [
       ...TupleOfSameLength<PartialParameters>,
       ...infer RemainingParameters
     ]

diff --git a/test-d/collect.test-d.ts b/test-d/collect.test-d.ts
@@ -24,7 +24,9 @@ import {
   Collector,
   folding,
   grouping,
+  map,
   MapCollector,
+  pipe,
   toArray,
   toMap,
   toObject,
@@ -118,3 +120,11 @@ expectType<Record<string, string[]>>(
     string,
   ][]),
 )
+
+expectType<Record<number, Set<number>>>(
+  pipe(
+    [1, 2, 3],
+    map(x => [x, x * 2] as const),
+    collect(grouping(toSet, toObject)),
+  ),
+)