[API reference](https://evolu.dev/docs/api-reference) › [@evolu/common](https://evolu.dev/docs/api-reference/common) › [Type](https://evolu.dev/docs/api-reference/common/Type) › InferError

```ts
type InferError<A> =
  A extends Type<any, any, any, infer Error, any, any> ? Error : never;
```

Defined in: [packages/common/src/Type.ts:553](https://github.com/evoluhq/evolu/blob/e7144e2bbe9069362b62dec1b64a8aa922b8f1b0/packages/common/src/Type.ts#L553)

Extracts the specific error type from a [Type](https://evolu.dev/docs/api-reference/common/Type/interfaces/Type).