Enum PathSource

pub(crate) enum PathSource<'a, 'c> {
    Type,
    Trait(AliasPossibility),
    Expr(Option<&'a Expr>),
    Pat,
    Struct,
    TupleStruct(Span, &'a [Span]),
    TraitItem(Namespace, &'c PathSource<'a, 'c>),
    Delegation,
    PreciseCapturingArg(Namespace),
    ReturnTypeNotation,
    DefineOpaques,
}

Variants

Type

Type paths Path.

Trait(AliasPossibility)

Trait paths in bounds or impls.

Expr(Option<&'a Expr>)

Expression paths path, with optional parent context.

Pat

Paths in path patterns Path.

Struct

Paths in struct expressions and patterns Path { .. }.

TupleStruct(Span, &'a [Span])

Paths in tuple struct patterns Path(..).

TraitItem(Namespace, &'c PathSource<'a, 'c>)

m::A::B in <T as m::A>::B::C.

Second field holds the “cause” of this one, i.e. the context within which the trait item is resolved. Used for diagnostics.

Delegation

Paths in delegation item

PreciseCapturingArg(Namespace)

An arg in a use<'a, N> precise-capturing bound.

ReturnTypeNotation

Paths that end with (..), for return type notation.

DefineOpaques

Paths from #[define_opaque] attributes

Implementations

impl<'a> PathSource<'a, '_>

fn namespace(self) -> Namespace

fn defer_to_typeck(self) -> bool

fn descr_expected(self) -> &'static str

fn is_call(self) -> bool

pub(crate) fn is_expected(self, res: Res<NodeId>) -> bool

fn error_code(self, has_unexpected_resolution: bool) -> ErrCode

Trait Implementations

impl<'a, 'c> Clone for PathSource<'a, 'c>

fn clone(&self) -> PathSource<'a, 'c>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, 'c> Debug for PathSource<'a, 'c>

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

Formats the value using the given formatter.

impl<'a, 'c> Copy for PathSource<'a, 'c>

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

Size for each variant:

• Type: 0 bytes
• Trait: 1 byte
• Expr: 15 bytes
• Pat: 0 bytes
• Struct: 0 bytes
• TupleStruct: 31 bytes
• TraitItem: 15 bytes
• Delegation: 0 bytes
• PreciseCapturingArg: 1 byte
• ReturnTypeNotation: 0 bytes
• DefineOpaques: 0 bytes