[][src]Struct rustc_mir::borrow_check::region_infer::AppliedMemberConstraint

pub(crate) struct AppliedMemberConstraint {
    pub(in crate::borrow_check) member_region_scc: ConstraintSccIndex,
    pub(in crate::borrow_check) min_choice: RegionVid,
    pub(in crate::borrow_check) member_constraint_index: NllMemberConstraintIndex,

Each time that apply_member_constraint is successful, it appends one of these structs to the member_constraints_applied field. This is used in error reporting to trace out what happened.

The way that apply_member_constraint works is that it effectively adds a new lower bound to the SCC it is analyzing: so you wind up with 'R: 'O where 'R is the pick-region and 'O is the minimal viable option.


member_region_scc: ConstraintSccIndex

The SCC that was affected. (The "member region".)

The vector if AppliedMemberConstraint elements is kept sorted by this field.

min_choice: RegionVid

The "best option" that apply_member_constraint found -- this was added as an "ad-hoc" lower-bound to member_region_scc.

member_constraint_index: NllMemberConstraintIndex

The "member constraint index" -- we can find out details about the constraint from set.member_constraints[member_constraint_index].

Trait Implementations

impl Clone for AppliedMemberConstraint[src]

impl Copy for AppliedMemberConstraint[src]

impl Debug for AppliedMemberConstraint[src]

impl Eq for AppliedMemberConstraint[src]

impl Ord for AppliedMemberConstraint[src]

impl PartialEq<AppliedMemberConstraint> for AppliedMemberConstraint[src]

impl PartialOrd<AppliedMemberConstraint> for AppliedMemberConstraint[src]

impl StructuralEq for AppliedMemberConstraint[src]

impl StructuralPartialEq for AppliedMemberConstraint[src]

Auto Trait Implementations

impl RefUnwindSafe for AppliedMemberConstraint

impl Send for AppliedMemberConstraint

impl Sync for AppliedMemberConstraint

impl Unpin for AppliedMemberConstraint

impl UnwindSafe for AppliedMemberConstraint

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]