error-with-detail

An error code, optionally with extra request error information.

record error-with-detail {
  detail: option​<send-error-detail>,
  error: error,
}