export error types too

Author: oscartbeaumont

examples/bindings.ts

@@ -1,17 +1,19 @@
 // My custom header
 // This file was generated by [rspc](https://github.com/specta-rs/rspc). Do not edit this file manually.
 
+export type Error = { type: "Mistake"; error: string } | { type: "Validator"; error: any } | { type: "Authorization"; error: string }
+
 export type ProceduresLegacy = { queries: { key: "cached"; input: null; result: number } | { key: "newstuff"; input: null; result: string } | { key: "newstuff2"; input: null; result: string } | { key: "newstuffpanic"; input: null; result: null } | { key: "newstuffser"; input: null; result: null } | { key: "sendMsg"; input: string; result: string } | { key: "sfmPost"; input: [string, null]; result: string } | { key: "streamInStreamInStreamInStream"; input: null; result: number } | { key: "validator"; input: { mail: string }; result: null } | { key: "withoutBaseProcedure"; input: string; result: null }; mutations: never; subscriptions: never }
 
 export type Procedures = {
-	cached: { kind: "query", input: null, output: number, error: unknown },
-	newstuff: { kind: "query", input: null, output: string, error: unknown },
-	newstuff2: { kind: "query", input: null, output: string, error: unknown },
-	newstuffpanic: { kind: "query", input: null, output: null, error: unknown },
-	newstuffser: { kind: "query", input: null, output: null, error: unknown },
-	sendMsg: { kind: "query", input: string, output: string, error: unknown },
-	sfmPost: { kind: "query", input: [string, null], output: string, error: unknown },
-	streamInStreamInStreamInStream: { kind: "query", input: null, output: number, error: unknown },
-	validator: { kind: "query", input: { mail: string }, output: null, error: unknown },
-	withoutBaseProcedure: { kind: "query", input: string, output: null, error: unknown },
+	cached: { kind: "query", input: null, output: number, error: Error },
+	newstuff: { kind: "query", input: null, output: string, error: Error },
+	newstuff2: { kind: "query", input: null, output: string, error: Error },
+	newstuffpanic: { kind: "query", input: null, output: null, error: Error },
+	newstuffser: { kind: "query", input: null, output: null, error: Error },
+	sendMsg: { kind: "query", input: string, output: string, error: Error },
+	sfmPost: { kind: "query", input: [string, null], output: string, error: Error },
+	streamInStreamInStreamInStream: { kind: "query", input: null, output: number, error: Error },
+	validator: { kind: "query", input: { mail: string }, output: null, error: Error },
+	withoutBaseProcedure: { kind: "query", input: string, output: null, error: Error },
 }

examples/core/src/lib.rs

@@ -41,7 +41,7 @@ pub enum DeserializationError {
 }
 
 #[derive(Debug, Error, Serialize, Type)]
-#[serde(tag = "type")]
+#[serde(tag = "type", content = "error")]
 pub enum Error {
     #[error("you made a mistake: {0}")]
     Mistake(String),

rspc/src/procedure.rs

@@ -30,7 +30,7 @@ use std::{borrow::Cow, marker::PhantomData, panic::Location, sync::Arc};
 
 use futures_util::{FutureExt, TryStreamExt};
 
-use specta::datatype::DataType;
+use specta::{datatype::DataType, Generics, Type};
 
 use crate::{Error, Extension, ProcedureKind, State};
 
@@ -113,7 +113,7 @@ impl<TCtx, TInput, TOutput> Procedure<TCtx, TInput, TOutput> {
                                 location,
                                 input: TInput::data_type(types),
                                 output: TOutput::data_type(types),
-                                error: DataType::Unknown, // TODO: TError::data_type(types),
+                                error: <TError as Type>::reference(types, &[]).inner,
                             },
                         )
                     }),