Enum rustc_resolve::ResolutionError

pub(crate) enum ResolutionError<'a> {
    GenericParamsFromOuterItem(Res<NodeId>, HasGenericParams, DefKind),
    NameAlreadyUsedInParameterList(Symbol, Span),
    MethodNotMemberOfTrait(Ident, String, Option<Symbol>),
    TypeNotMemberOfTrait(Ident, String, Option<Symbol>),
    ConstNotMemberOfTrait(Ident, String, Option<Symbol>),
    VariableNotBoundInPattern(BindingError, ParentScope<'a>),
    VariableBoundWithDifferentMode(Symbol, Span),
    IdentifierBoundMoreThanOnceInParameterList(Symbol),
    IdentifierBoundMoreThanOnceInSamePattern(Symbol),
    UndeclaredLabel {
        name: Symbol,
        suggestion: Option<(Ident, bool)>,
    },
    SelfImportsOnlyAllowedWithin {
        root: bool,
        span_with_rename: Span,
    },
    SelfImportCanOnlyAppearOnceInTheList,
    SelfImportOnlyInImportListWithNonEmptyPrefix,
    FailedToResolve {
        segment: Option<Symbol>,
        label: String,
        suggestion: Option<(Vec<(Span, String)>, String, Applicability)>,
        module: Option<ModuleOrUniformRoot<'a>>,
    },
    CannotCaptureDynamicEnvironmentInFnItem,
    AttemptToUseNonConstantValueInConstant(Ident, &'static str, &'static str),
    BindingShadowsSomethingUnacceptable {
        shadowing_binding: PatternSource,
        name: Symbol,
        participle: &'static str,
        article: &'static str,
        shadowed_binding: Res<NodeId>,
        shadowed_binding_span: Span,
    },
    ForwardDeclaredGenericParam,
    ParamInTyOfConstParam {
        name: Symbol,
        param_kind: Option<ParamKindInTyOfConstParam>,
    },
    ParamInNonTrivialAnonConst {
        name: Symbol,
        param_kind: ParamKindInNonTrivialAnonConst,
    },
    ParamInEnumDiscriminant {
        name: Symbol,
        param_kind: ParamKindInEnumDiscriminant,
    },
    SelfInGenericParamDefault,
    UnreachableLabel {
        name: Symbol,
        definition_span: Span,
        suggestion: Option<(Ident, bool)>,
    },
    TraitImplMismatch {
        name: Symbol,
        kind: &'static str,
        trait_path: String,
        trait_item_span: Span,
        code: ErrCode,
    },
    TraitImplDuplicate {
        name: Symbol,
        trait_item_span: Span,
        old_span: Span,
    },
    InvalidAsmSym,
    LowercaseSelf,
    BindingInNeverPattern,
}

Variants

GenericParamsFromOuterItem(Res<NodeId>, HasGenericParams, DefKind)

Error E0401: can’t use type or const parameters from outer item.

NameAlreadyUsedInParameterList(Symbol, Span)

Error E0403: the name is already used for a type or const parameter in this generic parameter list.

MethodNotMemberOfTrait(Ident, String, Option<Symbol>)

Error E0407: method is not a member of trait.

TypeNotMemberOfTrait(Ident, String, Option<Symbol>)

Error E0437: type is not a member of trait.

ConstNotMemberOfTrait(Ident, String, Option<Symbol>)

Error E0438: const is not a member of trait.

VariableNotBoundInPattern(BindingError, ParentScope<'a>)

Error E0408: variable {} is not bound in all patterns.

VariableBoundWithDifferentMode(Symbol, Span)

Error E0409: variable {} is bound in inconsistent ways within the same match arm.

IdentifierBoundMoreThanOnceInParameterList(Symbol)

Error E0415: identifier is bound more than once in this parameter list.

IdentifierBoundMoreThanOnceInSamePattern(Symbol)

Error E0416: identifier is bound more than once in the same pattern.

UndeclaredLabel

Fields

name: Symbol

suggestion: Option<(Ident, bool)>

Error E0426: use of undeclared label.

SelfImportsOnlyAllowedWithin

Fields

root: bool

span_with_rename: Span

Error E0429: self imports are only allowed within a { } list.

SelfImportCanOnlyAppearOnceInTheList

Error E0430: self import can only appear once in the list.

SelfImportOnlyInImportListWithNonEmptyPrefix

Error E0431: self import can only appear in an import list with a non-empty prefix.

FailedToResolve

Fields

segment: Option<Symbol>

label: String

suggestion: Option<(Vec<(Span, String)>, String, Applicability)>

module: Option<ModuleOrUniformRoot<'a>>

Error E0433: failed to resolve.

CannotCaptureDynamicEnvironmentInFnItem

Error E0434: can’t capture dynamic environment in a fn item.

AttemptToUseNonConstantValueInConstant(Ident, &'static str, &'static str)

Error E0435: attempt to use a non-constant value in a constant.

BindingShadowsSomethingUnacceptable

Fields

shadowing_binding: PatternSource

name: Symbol

participle: &'static str

article: &'static str

shadowed_binding: Res<NodeId>

shadowed_binding_span: Span

Error E0530: X bindings cannot shadow Ys.

ForwardDeclaredGenericParam

Error E0128: generic parameters with a default cannot use forward-declared identifiers.

ParamInTyOfConstParam

Fields

name: Symbol

param_kind: Option<ParamKindInTyOfConstParam>

ERROR E0770: the type of const parameters must not depend on other generic parameters.

ParamInNonTrivialAnonConst

Fields

name: Symbol

param_kind: ParamKindInNonTrivialAnonConst

generic parameters must not be used inside const evaluations.

This error is only emitted when using min_const_generics.

ParamInEnumDiscriminant

Fields

name: Symbol

param_kind: ParamKindInEnumDiscriminant

generic parameters must not be used inside enum discriminants.

This error is emitted even with generic_const_exprs.

SelfInGenericParamDefault

Error E0735: generic parameters with a default cannot use Self

UnreachableLabel

Fields

name: Symbol

definition_span: Span

suggestion: Option<(Ident, bool)>

Error E0767: use of unreachable label

TraitImplMismatch

Fields

name: Symbol

kind: &'static str

trait_path: String

trait_item_span: Span

code: ErrCode

Error E0323, E0324, E0325: mismatch between trait item and impl item.

TraitImplDuplicate

Fields

name: Symbol

trait_item_span: Span

old_span: Span

Error E0201: multiple impl items for the same trait item.

InvalidAsmSym

Inline asm sym operand must refer to a fn or static.

LowercaseSelf

self used instead of Self in a generic parameter

BindingInNeverPattern

A never pattern has a binding.

Trait Implementations

impl<'a> Debug for ResolutionError<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 104 bytes

Size for each variant:

• GenericParamsFromOuterItem: 36 bytes
• NameAlreadyUsedInParameterList: 20 bytes
• MethodNotMemberOfTrait: 48 bytes
• TypeNotMemberOfTrait: 48 bytes
• ConstNotMemberOfTrait: 48 bytes
• VariableNotBoundInPattern: 104 bytes
• VariableBoundWithDifferentMode: 20 bytes
• IdentifierBoundMoreThanOnceInParameterList: 12 bytes
• IdentifierBoundMoreThanOnceInSamePattern: 12 bytes
• UndeclaredLabel: 28 bytes
• SelfImportsOnlyAllowedWithin: 20 bytes
• SelfImportCanOnlyAppearOnceInTheList: 0 bytes
• SelfImportOnlyInImportListWithNonEmptyPrefix: 0 bytes
• FailedToResolve: 104 bytes
• CannotCaptureDynamicEnvironmentInFnItem: 0 bytes
• AttemptToUseNonConstantValueInConstant: 56 bytes
• BindingShadowsSomethingUnacceptable: 72 bytes
• ForwardDeclaredGenericParam: 0 bytes
• ParamInTyOfConstParam: 16 bytes
• ParamInNonTrivialAnonConst: 16 bytes
• ParamInEnumDiscriminant: 16 bytes
• SelfInGenericParamDefault: 0 bytes
• UnreachableLabel: 36 bytes
• TraitImplMismatch: 64 bytes
• TraitImplDuplicate: 28 bytes
• InvalidAsmSym: 0 bytes
• LowercaseSelf: 0 bytes
• BindingInNeverPattern: 0 bytes