Enum TraitProofImpliedPredicate 

pub enum TraitProofImpliedPredicate {
    AssocItem {
        item: ItemRef,
        index: usize,
    },
    Parent {
        index: usize,
    },
}

Variants

AssocItem

Fields

item: ItemRef

Reference to the item, with generics (for GATs), e.g. the T and proof for T: Clone in the following example:

trait Foo {
    type Type<T: Clone>: Debug;
}

index: usize

The index of this predicate among the trait predicates returned by ItemPredicates::Implied.

Parent

Fields

index: usize

The index of this predicate among the trait predicates returned by ItemPredicates::Implied.

Trait Implementations

impl Clone for TraitProofImpliedPredicate

fn clone(&self) -> TraitProofImpliedPredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraitProofImpliedPredicate

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

Formats the value using the given formatter.

impl Eq for TraitProofImpliedPredicate

impl Hash for TraitProofImpliedPredicate

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 TraitProofImpliedPredicate

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

Equality operator ==.

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

Inequality operator !=.

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

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

impl StructuralPartialEq for TraitProofImpliedPredicate