fix: prevent NoInfer from showing up in display types

gvergnaud · Dec 15, 2024 · e35de42 · e35de42
1 parent 514057f
commit e35de42
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/patterns.ts b/src/patterns.ts
@@ -107,8 +107,9 @@ export type infer<pattern> = InvertPattern<NoInfer<pattern>, unknown>;
  * type Narrowed = P.narrow<Input, typeof Pattern>
  * //     ^? ['a', 'a' | 'b']
  */
-export type narrow<input, pattern extends Pattern<any>> = NoInfer<
-  ExtractPreciseValue<input, InvertPattern<pattern, input>>
+export type narrow<input, pattern extends Pattern<any>> = ExtractPreciseValue<
+  input,
+  InvertPattern<pattern, input>
 >;
 
 function chainable<pattern extends Matcher<any, any, any, any, any>>(

diff --git a/src/types/FindSelected.ts b/src/types/FindSelected.ts
@@ -166,4 +166,4 @@ export type FindSelected<i, p> =
   // This happens if the provided pattern didn't extend Pattern<i>,
   // Because the type checker falls back on the general `Pattern<i>` type
   // in this case.
-  NoInfer<Equal<p, Pattern<i>> extends true ? i : Selections<i, p>>;
+  Equal<p, Pattern<i>> extends true ? i : Selections<i, p>;