Enum rustc_resolve::ResolutionError

source ·

pub(crate) enum ResolutionError<'a> {
Show 24 variants
    GenericParamsFromOuterFunction(Res<NodeId>, HasGenericParams),
    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 {
        label: String,
        suggestion: Option<(Vec<(Span, String)>, String, Applicability)>,
    },
    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(Symbol),
    ParamInNonTrivialAnonConst {
        name: Symbol,
        is_type: bool,
    },
    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: DiagnosticId,
    },
    InvalidAsmSym,
}

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(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

label: String

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

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(Symbol)`

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

`ParamInNonTrivialAnonConst`

Fields

name: Symbol

is_type: bool

generic parameters must not be used inside const evaluations.

This error is only emitted when using min_const_generics.

`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: DiagnosticId

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

`InvalidAsmSym`

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

Auto Trait Implementations

impl<'a> !RefUnwindSafe for ResolutionError<'a>

impl<'a> !Send for ResolutionError<'a>

impl<'a> !Sync for ResolutionError<'a>

impl<'a> Unpin for ResolutionError<'a>

impl<'a> !UnwindSafe for ResolutionError<'a>

Blanket Implementations

source

impl<T> Any for Twhere
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T, U> TryFrom for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

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: 96 bytes

Size for each variant:

GenericParamsFromOuterFunction: 36 bytes
NameAlreadyUsedInParameterList: 12 bytes
MethodNotMemberOfTrait: 40 bytes
TypeNotMemberOfTrait: 40 bytes
ConstNotMemberOfTrait: 40 bytes
VariableNotBoundInPattern: 96 bytes
VariableBoundWithDifferentMode: 12 bytes
IdentifierBoundMoreThanOnceInParameterList: 4 bytes
IdentifierBoundMoreThanOnceInSamePattern: 4 bytes
UndeclaredLabel: 20 bytes
SelfImportsOnlyAllowedWithin: 12 bytes
SelfImportCanOnlyAppearOnceInTheList: 0 bytes
SelfImportOnlyInImportListWithNonEmptyPrefix: 0 bytes
FailedToResolve: 80 bytes
CannotCaptureDynamicEnvironmentInFnItem: 0 bytes
AttemptToUseNonConstantValueInConstant: 48 bytes
BindingShadowsSomethingUnacceptable: 72 bytes
ForwardDeclaredGenericParam: 0 bytes
ParamInTyOfConstParam: 4 bytes
ParamInNonTrivialAnonConst: 8 bytes
SelfInGenericParamDefault: 0 bytes
UnreachableLabel: 28 bytes
TraitImplMismatch: 88 bytes
InvalidAsmSym: 0 bytes

Enum rustc_resolve::ResolutionError

Variants

GenericParamsFromOuterFunction(Res<NodeId>, HasGenericParams)

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

Fields

SelfImportsOnlyAllowedWithin

Fields

SelfImportCanOnlyAppearOnceInTheList

SelfImportOnlyInImportListWithNonEmptyPrefix

FailedToResolve

Fields

CannotCaptureDynamicEnvironmentInFnItem

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

BindingShadowsSomethingUnacceptable

Fields

ForwardDeclaredGenericParam

ParamInTyOfConstParam(Symbol)

ParamInNonTrivialAnonConst

Fields

SelfInGenericParamDefault

UnreachableLabel

Fields

TraitImplMismatch

Fields

InvalidAsmSym

Auto Trait Implementations

impl<'a> !RefUnwindSafe for ResolutionError<'a>

impl<'a> !Send for ResolutionError<'a>

impl<'a> !Sync for ResolutionError<'a>

impl<'a> Unpin for ResolutionError<'a>

impl<'a> !UnwindSafe for ResolutionError<'a>

Blanket Implementations

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout

`GenericParamsFromOuterFunction(Res<NodeId>, HasGenericParams)`

`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`

`SelfImportsOnlyAllowedWithin`

`SelfImportCanOnlyAppearOnceInTheList`

`SelfImportOnlyInImportListWithNonEmptyPrefix`

`FailedToResolve`

`CannotCaptureDynamicEnvironmentInFnItem`

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

`BindingShadowsSomethingUnacceptable`

`ForwardDeclaredGenericParam`

`ParamInTyOfConstParam(Symbol)`

`ParamInNonTrivialAnonConst`

`SelfInGenericParamDefault`

`UnreachableLabel`

`TraitImplMismatch`

`InvalidAsmSym`

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,