Type Alias: InferErrors<T>

type InferErrors<T> = T extends Type<any, any, any, infer Error, any, infer ParentError> ? Error | ParentError : never;