Module arithmetic_typing::error

Errors related to type inference.

Structs

• Error
  Type error together with the corresponding code span.
• Errors
  List of Errors.
• OpErrors
  Error container tied to a particular top-level operation that has a certain span and context.

Enums

• ErrorContext
  Context of a Error corresponding to a top-level operation that has errored. Generally, contains resolved types concerning the operation, such as operands of a binary arithmetic op.
• ErrorKind
  Kinds of errors that can occur during type inference.
• ErrorPathFragment
  Fragment of a path for an Error.
• TupleContext
  Context in which a tuple is used.