Enum rustc_resolve::ResolutionError

pub(crate) enum ResolutionError<'a> {
    GenericParamsFromOuterFunction(Res<NodeId>, HasGenericParams),
    NameAlreadyUsedInParameterList(Symbol, Span),
    MethodNotMemberOfTrait(Symbol, &'a str),
    TypeNotMemberOfTrait(Symbol, &'a str),
    ConstNotMemberOfTrait(Symbol, &'a str),
    VariableNotBoundInPattern(&'a BindingError),
    VariableBoundWithDifferentMode(Symbol, Span),
    IdentifierBoundMoreThanOnceInParameterList(Symbol),
    IdentifierBoundMoreThanOnceInSamePattern(Symbol),
    UndeclaredLabel {
        name: Symbol,
        suggestion: Option<(Ident, bool)>,
    },
    SelfImportsOnlyAllowedWithin {
        root: bool,
        span_with_rename: Span,
    },
    SelfImportCanOnlyAppearOnceInTheList,
    SelfImportOnlyInImportListWithNonEmptyPrefix,
    FailedToResolve {
        label: String,
        suggestion: Option<(Vec<(Span, String)>, String, Applicability)>,
    },
    CannotCaptureDynamicEnvironmentInFnItem,
    AttemptToUseNonConstantValueInConstant(Ident, &'static str, &'static str),
    BindingShadowsSomethingUnacceptable(&'static str, Symbol, &'a NameBinding<'a>),
    ForwardDeclaredTyParam,
    ParamInTyOfConstParam(Symbol),
    ParamInNonTrivialAnonConst {
        name: Symbol,
        is_type: bool,
    },
    SelfInTyParamDefault,
    UnreachableLabel {
        name: Symbol,
        definition_span: Span,
        suggestion: Option<(Ident, bool)>,
    },
}

Variants

GenericParamsFromOuterFunction(Res<NodeId>, HasGenericParams)

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

NameAlreadyUsedInParameterList(Symbol, Span)

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

MethodNotMemberOfTrait(Symbol, &'a str)

Error E0407: method is not a member of trait.

TypeNotMemberOfTrait(Symbol, &'a str)

Error E0437: type is not a member of trait.

ConstNotMemberOfTrait(Symbol, &'a str)

Error E0438: const is not a member of trait.

VariableNotBoundInPattern(&'a BindingError)

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 of UndeclaredLabel

name: Symbolsuggestion: Option<(Ident, bool)>

SelfImportsOnlyAllowedWithin

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

Fields of SelfImportsOnlyAllowedWithin

root: boolspan_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 of FailedToResolve

label: Stringsuggestion: Option<(Vec<(Span, String)>, String, Applicability)>

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(&'static str, Symbol, &'a NameBinding<'a>)

Error E0530: X bindings cannot shadow Ys.

ForwardDeclaredTyParam

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

ParamInTyOfConstParam(Symbol)

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

ParamInNonTrivialAnonConst

generic parameters must not be used inside const evaluations.

This error is only emitted when using min_const_generics.

Fields of ParamInNonTrivialAnonConst

name: Symbolis_type: bool

SelfInTyParamDefault

Error E0735: generic parameters with a default cannot use Self

UnreachableLabel

Error E0767: use of unreachable label

Fields of UnreachableLabel

name: Symboldefinition_span: Spansuggestion: Option<(Ident, bool)>