Errors

  • ErrorType
  • A type parameter that is a subtype of error. Has the special semantic that when used in a declaration all uses in the declaration must refer to same type.