Enum hax_frontend_exporter::traits::resolution::BoundPredicateOrigin

pub enum BoundPredicateOrigin {
    SelfPred,
    Item(usize),
}

Items have various predicates in scope. path_to uses them as a starting point for trait resolution. This tracks where each of them comes from.

Variants

SelfPred

The Self: Trait predicate implicitly present within trait declarations (note: we don’t add it for trait implementations, should we?).

Item(usize)

The nth (non-self) predicate found for this item. We use predicates from tcx.predicates_defined_on starting from the parentmost item. If the item is an opaque type, we also append the predicates from explicit_item_bounds to this list.

Trait Implementations

impl Clone for BoundPredicateOrigin

fn clone(&self) -> BoundPredicateOrigin

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BoundPredicateOrigin

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

Formats the value using the given formatter.

impl Hash for BoundPredicateOrigin

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 BoundPredicateOrigin

fn eq(&self, other: &BoundPredicateOrigin) -> 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 Copy for BoundPredicateOrigin

impl Eq for BoundPredicateOrigin

impl StructuralPartialEq for BoundPredicateOrigin