pub(crate) struct AppliedMemberConstraint {
pub(crate) member_region_scc: ConstraintSccIndex,
pub(crate) min_choice: RegionVid,
pub(crate) member_constraint_index: NllMemberConstraintIndex,
}
Expand description
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]
.
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
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 12 bytes