fix for never error types in TaggedRequest.Any

Effect-TS · Dec 13, 2023 · 535ff6a · 535ff6a
1 parent c728880
commit 535ff6a
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 4 deletions.
diff --git a/.changeset/healthy-baboons-beg.md b/.changeset/healthy-baboons-beg.md
@@ -0,0 +1,5 @@
+---
+"@effect/schema": patch
+---
+
+fix for never error types in TaggedRequest.Any
diff --git a/docs/modules/Schema.ts.md b/docs/modules/Schema.ts.md
@@ -1873,7 +1873,9 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export type Any = TaggedRequest<string, any, any, any, any, any, any>
+export type Any =
+  | TaggedRequest<string, any, any, any, any, any, any>
+  | TaggedRequest<string, any, any, never, never, any, any>
 ```
 
 Added in v1.0.0

diff --git a/src/Schema.ts b/src/Schema.ts
@@ -4585,7 +4585,9 @@ export declare namespace TaggedRequest {
    * @category classes
    * @since 1.0.0
    */
-  export type Any = TaggedRequest<string, any, any, any, any, any, any>
+  export type Any =
+    | TaggedRequest<string, any, any, any, any, any, any>
+    | TaggedRequest<string, any, any, never, never, any, any>
 }
 
 /**
@@ -4641,7 +4643,6 @@ const makeClass = <I, A>(
   additionalProps?: any
 ): any => {
   const validator = Parser.validateSync(selfSchema)
-  const pretty = Pretty.to(selfSchema)
 
   return class extends Base {
     constructor(props: any = {}, disableValidation = false) {
@@ -4654,7 +4655,7 @@ const makeClass = <I, A>(
     static [TypeId] = variance
 
     toString() {
-      return `${this.constructor.name}(${pretty(this as any)})`
+      return Pretty.to(this.constructor as any)(this)
     }
 
     static pipe() {