Enum TraitProofKind 

pub enum TraitProofKind {
    Concrete(ItemRef),
    LocalBound(GenericPredicateId),
    SelfProof,
    Dyn,
    Builtin {
        trait_data: BuiltinTraitData,
        proofs: Vec<TraitProof>,
        types: Vec<(DefId, Ty, Vec<TraitProof>)>,
    },
    Derived {
        base: TraitProof,
        path: TraitProofImpliedPredicate,
    },
    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(GenericPredicateId)

A context-bound clause like where T: Trait.

SelfProof

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

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.

proofs: Vec<TraitProof>

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

types: Vec<(DefId, Ty, Vec<TraitProof>)>

The values of the associated types for this trait.

Derived

A predicate implied by base by following path.

Fields

base: TraitProof

path: TraitProofImpliedPredicate

Error(String)

An error happened while resolving traits.

Trait Implementations

impl Clone for TraitProofKind

fn clone(&self) -> TraitProofKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraitProofKind

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

Formats the value using the given formatter.

impl Hash for TraitProofKind

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 TraitProofKind

fn eq(&self, other: &TraitProofKind) -> 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, TraitProofKind> for TraitProofKind<'tcx, DefId>

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

impl Eq for TraitProofKind

impl StructuralPartialEq for TraitProofKind