Enum ImplExprAtom 

pub enum ImplExprAtom<'tcx> {
    Concrete {
        def_id: DefId,
        generics: GenericArgsRef<'tcx>,
    },
    LocalBound {
        predicate: Predicate<'tcx>,
        index: usize,
        trait: PolyTraitRef<'tcx>,
        path: Path<'tcx>,
    },
    SelfImpl {
        trait: PolyTraitRef<'tcx>,
        path: Path<'tcx>,
    },
    Dyn,
    Builtin {
        trait_data: BuiltinTraitData<'tcx>,
        impl_exprs: Vec<ImplExpr<'tcx>>,
        types: Vec<(DefId, Ty<'tcx>, Vec<ImplExpr<'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: Path<'tcx>

SelfImpl

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

Fields

trait: PolyTraitRef<'tcx>

path: Path<'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 FnMut. This morally points to an invisible impl block; as such it contains the information we may need from one.

Fields

trait_data: BuiltinTraitData<'tcx>

Extra data for the given trait.

impl_exprs: Vec<ImplExpr<'tcx>>

The ImplExprs required to satisfy the implied predicates on the trait declaration. E.g. since FnMut: FnOnce, a built-in T: FnMut impl would have an ImplExpr for T: FnOnce.

types: Vec<(DefId, Ty<'tcx>, Vec<ImplExpr<'tcx>>)>

The values of the associated types for this trait.

Error(String)

An error happened while resolving traits.

Trait Implementations

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

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

Returns a duplicate 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