Enum ImplExprAtom 

pub enum ImplExprAtom {
    Concrete(ItemRef),
    LocalBound {
        id: GenericPredicateId,
        trait: Binder<TraitRef>,
        path: Vec<ImplExprPathChunk>,
    },
    SelfImpl {
        trait: Binder<TraitRef>,
        path: Vec<ImplExprPathChunk>,
    },
    Dyn,
    Builtin {
        trait_data: BuiltinTraitData,
        impl_exprs: Vec<ImplExpr>,
        types: Vec<(DefId, Ty, Vec<ImplExpr>)>,
    },
    Error(String),
}

The source of a particular trait implementation. Most often this is either Concrete for a concrete impl Trait for Type {} item, or LocalBound for a context-bound where T: Trait.

Variants

Concrete(ItemRef)

A concrete impl Trait for Type {} item.

LocalBound

A context-bound clause like where T: Trait.

Fields

id: GenericPredicateId

trait: Binder<TraitRef>

path: Vec<ImplExprPathChunk>

SelfImpl

The implicit Self: Trait clause present inside a trait Trait {} item.

Fields

trait: Binder<TraitRef>

path: Vec<ImplExprPathChunk>

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

Extra data for the given trait.

impl_exprs: Vec<ImplExpr>

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, Vec<ImplExpr>)>

The values of the associated types for this trait.

Error(String)

An error happened while resolving traits.

Trait Implementations

impl Clone for ImplExprAtom

fn clone(&self) -> ImplExprAtom

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImplExprAtom

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

Formats the value using the given formatter.

impl Hash for ImplExprAtom

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ImplExprAtom

fn eq(&self, other: &ImplExprAtom) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

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

impl Eq for ImplExprAtom

impl StructuralPartialEq for ImplExprAtom