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: Ident,
        suggestion: &'static str,
        current: &'static str,
        type_span: Option<Span>,
    },
    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

Error E0426: use of undeclared label.

Fields

name: Symbol

suggestion: Option<(Ident, bool)>

SelfImportsOnlyAllowedWithin

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

Fields

root: bool

span_with_rename: Span

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

Error E0433: failed to resolve.

Fields

segment: Option<Symbol>

label: String

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

module: Option<ModuleOrUniformRoot<'a>>

CannotCaptureDynamicEnvironmentInFnItem

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

AttemptToUseNonConstantValueInConstant

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

Fields

ident: Ident

suggestion: &'static str

current: &'static str

type_span: Option<Span>

BindingShadowsSomethingUnacceptable

Error E0530: X bindings cannot shadow Ys.

Fields

shadowing_binding: PatternSource

name: Symbol

participle: &'static str

article: &'static str

shadowed_binding: Res<NodeId>

shadowed_binding_span: Span

ForwardDeclaredGenericParam

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

ParamInTyOfConstParam

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

Fields

name: Symbol

param_kind: Option<ParamKindInTyOfConstParam>

ParamInNonTrivialAnonConst

generic parameters must not be used inside const evaluations.

This error is only emitted when using min_const_generics.

Fields

name: Symbol

param_kind: ParamKindInNonTrivialAnonConst

ParamInEnumDiscriminant

generic parameters must not be used inside enum discriminants.

This error is emitted even with generic_const_exprs.

Fields

name: Symbol

param_kind: ParamKindInEnumDiscriminant

SelfInGenericParamDefault

Error E0735: generic parameters with a default cannot use Self

UnreachableLabel

Error E0767: use of unreachable label

Fields

name: Symbol

definition_span: Span

suggestion: Option<(Ident, bool)>

TraitImplMismatch

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

Fields

name: Symbol

kind: &'static str

trait_path: String

trait_item_span: Span

code: ErrCode

TraitImplDuplicate

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

Fields

name: Symbol

trait_item_span: Span

old_span: Span

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: 64 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