Type alias InferReceipt<C, S>

InferReceipt<C, S>: ResolveServiceMethod<S, C["can"]> extends ServiceMethod<infer _, infer T, infer X>
? Receipt<T & {}, X | HandlerNotFound | HandlerExecutionError | InvalidAudience | Unauthorized>
: never