Enum PathChunk

pub enum PathChunk<'tcx> {
    AssocItem {
        item: AssocItem,
        generic_args: &'tcx [GenericArg<'tcx>],
        impl_exprs: Vec<ImplExpr<'tcx>>,
        predicate: PolyTraitPredicate<'tcx>,
        index: usize,
    },
    Parent {
        predicate: PolyTraitPredicate<'tcx>,
        index: usize,
    },
}

Variants

AssocItem

Fields

item: AssocItem

generic_args: &'tcx [GenericArg<'tcx>]

The arguments provided to the item (for GATs).

impl_exprs: Vec<ImplExpr<'tcx>>

The impl exprs that must be satisfied to apply the given arguments to the item. E.g. T: Clone in the following example:

trait Foo {
    type Type<T: Clone>: Debug;
}

predicate: PolyTraitPredicate<'tcx>

The implemented predicate.

index: usize

The index of this predicate in the list returned by implied_predicates.

Parent

Fields

predicate: PolyTraitPredicate<'tcx>

The implemented predicate.

index: usize

The index of this predicate in the list returned by implied_predicates.

Trait Implementations

impl<'tcx> Clone for PathChunk<'tcx>

fn clone(&self) -> PathChunk<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for PathChunk<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExprPathChunk> for PathChunk<'tcx>

fn sinto(&self, s: &S) -> ImplExprPathChunk