Enum ImplExprAtom

pub enum ImplExprAtom<'tcx> {
    Concrete {
        def_id: DefId,
        generics: GenericArgsRef<'tcx>,
    },
    LocalBound {
        predicate: Predicate<'tcx>,
        index: usize,
        trait: PolyTraitRef<'tcx>,
        path: Vec<PathChunk<'tcx>>,
    },
    SelfImpl {
        trait: PolyTraitRef<'tcx>,
        path: Vec<PathChunk<'tcx>>,
    },
    Dyn,
    Builtin {
        trait: PolyTraitRef<'tcx>,
    },
    Error(String),
}

Variants

Concrete

A concrete impl Trait for Type {} item.

Fields

def_id: DefId

generics: GenericArgsRef<'tcx>

LocalBound

A context-bound clause like where T: Trait.

Fields

predicate: Predicate<'tcx>

index: usize

The nth (non-self) predicate found for this item. We use predicates from required_predicates starting from the parentmost item.

trait: PolyTraitRef<'tcx>

path: Vec<PathChunk<'tcx>>

SelfImpl

The automatic clause Self: Trait present inside a impl Trait for Type {} item.

Fields

trait: PolyTraitRef<'tcx>

path: Vec<PathChunk<'tcx>>

Dyn

dyn Trait is a wrapped value with a virtual table for trait Trait. In other words, a value dyn Trait is a dependent triple that gathers a type τ, a value of type τ and an instance of type Trait. dyn Trait implements Trait using a built-in implementation; this refers to that built-in implementation.

Builtin

A built-in trait whose implementation is computed by the compiler, such as Sync.

Fields

trait: PolyTraitRef<'tcx>

Error(String)

An error happened while resolving traits.

Trait Implementations

impl<'tcx> Clone for ImplExprAtom<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ImplExprAtom<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExprAtom> for ImplExprAtom<'tcx>

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