Struct TraitProof 

pub struct TraitProof<'tcx> {
    contents: Interned<'tcx, TraitProofContents<'tcx>>,
}

A TraitProof describes the full data of a trait implementation. Because of generics, this may need to combine several concrete trait implementation items. For example, ((1u8, 2u8), "hello").clone() combines the generic implementation of Clone for (A, B) with the concrete implementations for u8 and &str, represented as a tree.

Fields

contents: Interned<'tcx, TraitProofContents<'tcx>>

Trait Implementations

impl<'tcx> Clone for TraitProof<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TraitProof<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Deref for TraitProof<'tcx>

type Target = TraitProofContents<'tcx>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'tcx> Eq for TraitProof<'tcx>

impl<'tcx> Hash for TraitProof<'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 TraitProof<'tcx>

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

Equality operator ==.

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

Inequality operator !=.

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

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

impl<'tcx> StructuralPartialEq for TraitProof<'tcx>