Enum TraitProofKind 

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

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(DynBinder<'tcx, TraitProof<'tcx>>)

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. The proof describes how to prove the current predicate in the context of the dyn Trait self type, e.g. for <dyn Trait as Supertrait>.

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.

proofs: Vec<TraitProof<'tcx>>

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<'tcx>, Vec<TraitProof<'tcx>>)>

The values of the associated types for this trait.

Derived

A predicate implied by base by following path.

Fields

base: TraitProof<'tcx>

path: TraitProofImpliedPredicate<'tcx>

Error(String)

An error happened while resolving traits.

Implementations

impl<'tcx> TraitProofKind<'tcx>

pub fn is_error(&self) -> bool

Returns true if this is an error proof.

Trait Implementations

impl<'tcx> Clone for TraitProofKind<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TraitProofKind<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Eq for TraitProofKind<'tcx>

impl<'tcx> Hash for TraitProofKind<'tcx>

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<'tcx> PartialEq for TraitProofKind<'tcx>

fn eq(&self, other: &TraitProofKind<'tcx>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TraitProofKind<'tcx>> for TraitProofKind<'tcx, DefId>

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

impl<'tcx> StructuralPartialEq for TraitProofKind<'tcx>