类型别名 UpdateType<T, TShape>

UpdateType<T, TShape>: {
    [key in keyof TShape]?: TShape[key] extends ReducedZodChannel<infer Schema, infer ReducerSchema>
        ? Schema extends InteropZodType<unknown>
            ? ReducerSchema extends InteropZodType<infer U>
                ? U
                : never
            : never
        : TShape[key] extends InteropZodType<unknown, infer U>
            ? U
            : never
}