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.
ErrorLocation	Fragment of an error location.
TupleContext	Context in which a tuple is used.