Trait rustc_mir::borrow_check::nll::type_check::AtLocation

trait AtLocation {
    fn at_self(self) -> Locations;
    fn at_successor_within_block(self) -> Locations;
}

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

Required Methods

fn at_self(self) -> Locations

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

Creates a Locations where self is both the from-location and the at-location. This means that any required region relationships must hold upon entering the statement/terminator indicated by self. This is typically used when processing "inputs" to the given location.

fn at_successor_within_block(self) -> Locations

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

Creates a Locations where self is the from-location and its successor within the block is the at-location. This means that any required region relationships must hold only upon exiting the statement/terminator indicated by self. This is for example used when you have a place = rv statement: it indicates that the typeof(rv) <: typeof(place) as of the next statement.

Implementations on Foreign Types

impl AtLocation for Location

fn at_self(self) -> Locations

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

fn at_successor_within_block(self) -> Locations

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

Implementors