Expand description
Error types and compiler diagnostics.
Provides the error infrastructure used throughout the compilation pipeline. Errors carry source location information for diagnostic rendering.
§Diagnostic System
Errors and warnings can include rich diagnostic information:
- Labels: Secondary spans pointing to related code locations
- Notes: Informational context about the error/warning
- Helps: Actionable suggestions for fixing the issue
Structs§
- Clone
Struct NonCopy Field Error - Payload for
ErrorKind::CloneStructNonCopyField(ADR-0065). - Compile
Errors - A collection of compilation errors.
- Diagnostic
- Rich diagnostic information for errors and warnings.
- Diagnostic
Wrapper - A compilation diagnostic (error or warning) with optional source location.
- Error
Code - A unique error code for each error type.
- Field
Wrong Order Error - Payload for
ErrorKind::FieldWrongOrder. - Help
- An actionable help suggestion.
- Interface
Method Missing Data - Boxed payload for
ErrorKind::InterfaceMethodMissing(ADR-0056). - Interface
Method Signature Mismatch Data - Boxed payload for
ErrorKind::InterfaceMethodSignatureMismatch(ADR-0056). - Interface
Method Unchecked Mismatch Error - Payload for
ErrorKind::InterfaceMethodUncheckedMismatch(ADR-0088). - Intrinsic
Type Mismatch Error - Payload for
ErrorKind::IntrinsicTypeMismatch. - Label
- A secondary label pointing to related code.
- Missing
Fields Error - Payload for
ErrorKind::MissingFields. - Note
- An informational note providing context.
- Posture
Mismatch Error - Payload for
ErrorKind::PostureMismatch(ADR-0080). - Preview
Feature Iter - An iterator over the variants of PreviewFeature
- Suggestion
- A suggested code fix that can be applied to resolve a diagnostic.
Enums§
- Applicability
- How confident we are that a suggested fix is correct.
- Error
Kind - The kind of compilation error.
- Preview
Feature - A preview feature that can be enabled with
--preview. - Warning
Kind - The kind of compilation warning.
Traits§
- Option
Ext - Extension trait for converting
Option<T>toCompileResult<T>.
Type Aliases§
- Compile
Error - A compilation error with optional source location information.
- Compile
Result - Result type for compilation operations.
- Compile
Warning - A compilation warning with optional source location information.
- Multi
Error Result - Result type for operations that can produce multiple errors.
- Preview
Features - A set of enabled preview features.