From e35de42e9485192fcdfebec5b8c34d617075e2b7 Mon Sep 17 00:00:00 2001
From: gvergnaud <gabriel.vergnaud@gmail.com>
Date: Sun, 15 Dec 2024 12:38:30 -0500
Subject: [PATCH] fix: prevent NoInfer from showing up in display types

---
 src/patterns.ts           | 5 +++--
 src/types/FindSelected.ts | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/patterns.ts b/src/patterns.ts
index 9f04b2e3..0daa17d2 100644
--- 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
index 67603554..c2ac5b92 100644
--- 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>;