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]
.
Trait Implementations§
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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
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