feat(P.infer): Remove inference point

package.json

@@ -75,6 +75,6 @@
     "prettier": "^2.8.8",
     "rimraf": "^5.0.1",
     "ts-jest": "^29.1.2",
-    "typescript": "^5.3.3"
+    "typescript": "^5.7.2"
   }
 }

src/patterns.ts

@@ -92,10 +92,7 @@ export type unstable_Matcher<
  * const userPattern = { name: P.string }
  * type User = P.infer<typeof userPattern>
  */
-export type infer<pattern extends Pattern<any>> = InvertPattern<
-  pattern,
-  unknown
->;
+export type infer<pattern> = InvertPattern<NoInfer<pattern>, unknown>;
 
 /**
  * `P.narrow<Input, Pattern>` will narrow the input type to only keep
@@ -110,9 +107,8 @@ export type infer<pattern extends Pattern<any>> = InvertPattern<
  * type Narrowed = P.narrow<Input, typeof Pattern>
  * //     ^? ['a', 'a' | 'b']
  */
-export type narrow<input, pattern extends Pattern<any>> = ExtractPreciseValue<
-  input,
-  InvertPattern<pattern, input>
+export type narrow<input, pattern extends Pattern<any>> = NoInfer<
+  ExtractPreciseValue<input, InvertPattern<pattern, input>>
 >;
 
 function chainable<pattern extends Matcher<any, any, any, any, any>>(

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.
-  Equal<p, Pattern<i>> extends true ? i : Selections<i, p>;
+  NoInfer<Equal<p, Pattern<i>> extends true ? i : Selections<i, p>>;

tests/infer.test.ts

@@ -22,4 +22,21 @@ describe('P.infer', () => {
       type test2 = Expect<Equal<QuizState, expected2>>;
     });
   });
+
+  it("P.infer shouldn't count as an inference point of the pattern", () => {
+    const getValueOfType = <T extends P.Pattern<unknown>>(
+      obj: unknown,
+      path: string,
+      pattern: T,
+      defaultValue: P.infer<T>
+    ): P.infer<T> => defaultValue;
+
+    getValueOfType(
+      null,
+      'a.b.c',
+      { x: P.string },
+      // @ts-expect-error 👇 error should be here
+      'oops'
+    );
+  });
 });

tests/not.test.ts

@@ -110,7 +110,9 @@ describe('not', () => {
         .exhaustive()
     ).toBe('hello');
 
-    const untypedNullable = P.when((x) => x === null || x === undefined);
+    const untypedNullable = P.when(
+      (x): boolean => x === null || x === undefined
+    );
 
     expect(
       match<{ str: string }>({ str: 'hello' })