Struct rustc_mir::borrow_check::nll::region_infer::dfs::TestTargetOutlivesSource [−][src]
struct TestTargetOutlivesSource<'v, 'tcx: 'v> { pub source_region: RegionVid, pub target_region: RegionVid, pub elements: &'v RegionValueElements, pub universal_regions: &'v UniversalRegions<'tcx>, pub inferred_values: &'v RegionValues, pub constraint_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?
Used after inference to test a R1: R2 @ P
constraint. For
each point Q we reach along the DFS, we check if Q in R2 is also
contained in R1. If not, we abort the walk early with an Err
condition. Similarly, if we reach the end of the graph and find
that R1 contains some universal region that R2 does not contain,
we abort the walk early.
Fields
source_region: 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?
target_region: 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?
elements: &'v RegionValueElements
🔬 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?
universal_regions: &'v UniversalRegions<'tcx>
🔬 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?
inferred_values: &'v RegionValues
🔬 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_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?
Trait Implementations
impl<'v, 'tcx> DfsOp for TestTargetOutlivesSource<'v, 'tcx>
[src]
impl<'v, 'tcx> DfsOp for TestTargetOutlivesSource<'v, 'tcx>
type Early = RegionElementIndex
🔬 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 element that was not found within R2.
fn start_point(&self) -> Location
[src]
fn start_point(&self) -> 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?
Returns the point from which to start the DFS.
fn source_region_contains(&mut self, point_index: RegionElementIndex) -> bool
[src]
fn source_region_contains(&mut self, point_index: RegionElementIndex) -> bool
🔬 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?
Returns true if the source region contains the given point.
fn add_to_target_region(
&mut self,
point_index: RegionElementIndex
) -> Result<bool, RegionElementIndex>
[src]
fn add_to_target_region(
&mut self,
point_index: RegionElementIndex
) -> Result<bool, RegionElementIndex>
🔬 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?
Adds the given point to the target region, returning true if something has changed. Returns Err
if we should abort the walk early. Read more
fn add_universal_regions_outlived_by_source_to_target(
&mut self
) -> Result<bool, RegionElementIndex>
[src]
fn add_universal_regions_outlived_by_source_to_target(
&mut self
) -> Result<bool, RegionElementIndex>
🔬 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?
Adds all universal regions in the source region to the target region, returning true if something has changed. Read more
Auto Trait Implementations
impl<'v, 'tcx> !Send for TestTargetOutlivesSource<'v, 'tcx>
impl<'v, 'tcx> !Send for TestTargetOutlivesSource<'v, 'tcx>
impl<'v, 'tcx> !Sync for TestTargetOutlivesSource<'v, 'tcx>
impl<'v, 'tcx> !Sync for TestTargetOutlivesSource<'v, 'tcx>