Enum rustc_mir::borrow_check::nll::region_infer::Cause

enum Cause {
    LiveVar(Local, Location),
    DropVar(Local, Location),
    LiveOther(Location),
    UniversalRegion(RegionVid),
    Outlives {
        original_cause: Rc<Cause>,
        constraint_location: Location,
        constraint_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?

NB: The variants in Cause are intentionally ordered. Lower values are preferred when it comes to error messages. Do not reorder willy nilly.

Variants

LiveVar(Local, 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?

point inserted because Local was live at the given Location

DropVar(Local, 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?

point inserted because Local was dropped at the given Location

LiveOther(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?

point inserted because the type was live at the given Location, but not as part of some local variable

UniversalRegion(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?

part of the initial set of values for a universally quantified region

Outlives

🔬 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?

Element E was added to R because there was some outlives obligation R: R1 @ P and R1 contained E.

Fields of Outlives

original_cause: Rc<Cause>	🔬 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 reason that R1 had E
constraint_location: 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? the point P from the relation
constraint_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? The span indicating why we added the outlives constraint.

Methods

impl Cause

fn root_cause(&self) -> &Cause

🔬 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?

Trait Implementations

impl Clone for Cause

fn clone(&self) -> Cause

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Cause

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialOrd for Cause

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

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

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

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

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

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

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

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

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

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

impl Ord for Cause

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

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl PartialEq for Cause

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

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

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

This method tests for !=.

impl Eq for Cause

fn assert_receiver_is_total_eq(&self)