fix: Better inference for Placeholders

TylorS · Mar 1, 2024 · 9793c9c · 9793c9c
1 parent 9c9cfc8
commit 9793c9c
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 3 deletions.
diff --git a/.changeset/real-dingos-tie.md b/.changeset/real-dingos-tie.md
@@ -0,0 +1,5 @@
+---
+"@typed/template": patch
+---
+
+Better inference for placeholders
diff --git a/packages/template/src/Placeholder.ts b/packages/template/src/Placeholder.ts
@@ -45,15 +45,21 @@ export namespace Placeholder {
   /**
    * @since 1.0.0
    */
-  export type Context<T> = [T] extends [never] ? never : T extends Placeholder<infer _A, infer _E, infer R> ? R : never
+  export type Context<T> = [T] extends [never] ? never
+    : [T] extends [Placeholder<infer _A, infer _E, infer R>] ? R
+    : never
   /**
    * @since 1.0.0
    */
-  export type Error<T> = [T] extends [never] ? never : T extends Placeholder<infer _A, infer E, infer _R> ? E : never
+  export type Error<T> = [T] extends [never] ? never
+    : [T] extends [Placeholder<infer _A, infer E, infer _R>] ? E
+    : never
   /**
    * @since 1.0.0
    */
-  export type Success<T> = [T] extends [never] ? never : T extends Placeholder<infer A, infer _E, infer _R> ? A : never
+  export type Success<T> = [T] extends [never] ? never
+    : [T] extends [Placeholder<infer A, infer _E, infer _R>] ? A
+    : never
 
   /**
    * @since 1.0.0