Struct rustc_mir::borrow_check::nll::constraints::graph::RegionGraph

pub(crate) struct RegionGraph<'s> {
    set: &'s ConstraintSet,
    constraint_graph: &'s ConstraintGraph,
}

🔬 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

set: &'s ConstraintSet

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

constraint_graph: &'s ConstraintGraph

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

Methods

impl<'s> RegionGraph<'s>

pub(crate) fn new(     set: &'s ConstraintSet,     constraint_graph: &'s ConstraintGraph ) -> Self

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

Create a "dependency graph" where each region constraint R1: R2 is treated as an edge R1 -> R2. We use this graph to construct SCCs for region inference but also for error reporting.

Important traits for Successors<'s>

impl<'s> Iterator for Successors<'s> type Item = RegionVid;

pub(crate) fn sub_regions(&self, region_sup: RegionVid) -> Successors

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

Given a region R, iterate over all regions R1 such that there exists a constraint R: R1.

Trait Implementations

impl<'s> DirectedGraph for RegionGraph<'s>

type Node = 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?

impl<'s> WithNumNodes for RegionGraph<'s>

fn num_nodes(&self) -> usize

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

impl<'s> WithSuccessors for RegionGraph<'s>

fn successors<'graph>(&'graph self, node: Self::Node) -> Self::Iter

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

impl<'s, 'graph> GraphSuccessors<'graph> for RegionGraph<'s>

type Item = 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?

type Iter = Successors<'graph>

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