Struct rustc_mir::borrow_check::region_infer::AppliedMemberConstraint

pub(crate) struct AppliedMemberConstraint {
    pub(in borrow_check) member_region_scc: ConstraintSccIndex,
    pub(in borrow_check) min_choice: RegionVid,
    pub(in 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.

Fields

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

pub fn clone(&self) -> AppliedMemberConstraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for AppliedMemberConstraint

impl Debug for AppliedMemberConstraint

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

Formats the value using the given formatter.

impl Eq for AppliedMemberConstraint

impl Ord for AppliedMemberConstraint

pub fn cmp(&self, other: &AppliedMemberConstraint) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval.

impl PartialEq<AppliedMemberConstraint> for AppliedMemberConstraint

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl PartialOrd<AppliedMemberConstraint> for AppliedMemberConstraint

pub fn partial_cmp(&self, other: &AppliedMemberConstraint) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

pub fn lt(&self, other: &AppliedMemberConstraint) -> bool

This method tests less than (for self and other) and is used by the < operator.

pub fn le(&self, other: &AppliedMemberConstraint) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

pub fn gt(&self, other: &AppliedMemberConstraint) -> bool

This method tests greater than (for self and other) and is used by the > operator.

pub fn ge(&self, other: &AppliedMemberConstraint) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for AppliedMemberConstraint

impl StructuralPartialEq for AppliedMemberConstraint