Expand description
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§
- Error
Context - Context of a
Errorcorresponding to a top-level operation that has errored. Generally, contains resolved types concerning the operation, such as operands of a binary arithmetic op. - Error
Kind - Kinds of errors that can occur during type inference.
- Error
Location - Fragment of an error location.
- Tuple
Context - Context in which a tuple is used.