Struct rustc_mir::borrow_check::nll::region_infer::OutlivesConstraint [−][src]
pub struct OutlivesConstraint { pub sup: RegionVid, pub sub: RegionVid, pub point: Location, pub next: Option<ConstraintIndex>, pub span: Span, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Fields
sup: RegionVid
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
The region SUP must outlive SUB...
sub: RegionVid
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Region that must be outlived.
point: Location
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
At this location.
next: Option<ConstraintIndex>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Later on, we thread the constraints onto a linked list
grouped by their sub
field. So if you had:
Index | Constraint | Next Field |
---|---|---|
0 | 'a: 'b | Some(2) |
1 | 'b: 'c | None |
2 | 'c: 'b | None |
span: Span
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Where did this constraint arise?
Trait Implementations
impl Copy for OutlivesConstraint
[src]
impl Copy for OutlivesConstraint
impl Clone for OutlivesConstraint
[src]
impl Clone for OutlivesConstraint
fn clone(&self) -> OutlivesConstraint
[src]
fn clone(&self) -> OutlivesConstraint
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl PartialEq for OutlivesConstraint
[src]
impl PartialEq for OutlivesConstraint
fn eq(&self, other: &OutlivesConstraint) -> bool
[src]
fn eq(&self, other: &OutlivesConstraint) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &OutlivesConstraint) -> bool
[src]
fn ne(&self, other: &OutlivesConstraint) -> bool
This method tests for !=
.
impl Eq for OutlivesConstraint
[src]
impl Eq for OutlivesConstraint
fn assert_receiver_is_total_eq(&self)
[src]
fn assert_receiver_is_total_eq(&self)
impl PartialOrd for OutlivesConstraint
[src]
impl PartialOrd for OutlivesConstraint
fn partial_cmp(&self, other: &OutlivesConstraint) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &OutlivesConstraint) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &OutlivesConstraint) -> bool
[src]
fn lt(&self, other: &OutlivesConstraint) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &OutlivesConstraint) -> bool
[src]
fn le(&self, other: &OutlivesConstraint) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &OutlivesConstraint) -> bool
[src]
fn gt(&self, other: &OutlivesConstraint) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &OutlivesConstraint) -> bool
[src]
fn ge(&self, other: &OutlivesConstraint) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Ord for OutlivesConstraint
[src]
impl Ord for OutlivesConstraint
fn cmp(&self, other: &OutlivesConstraint) -> Ordering
[src]
fn cmp(&self, other: &OutlivesConstraint) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
impl Hash for OutlivesConstraint
[src]
impl Hash for OutlivesConstraint
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Debug for OutlivesConstraint
[src]
impl Debug for OutlivesConstraint
Auto Trait Implementations
impl !Send for OutlivesConstraint
impl !Send for OutlivesConstraint
impl !Sync for OutlivesConstraint
impl !Sync for OutlivesConstraint