Struct rustc_lint::middle::free_region::FreeRegionMap
[−]
[src]
pub struct FreeRegionMap { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (
rustc_private
)Methods
impl FreeRegionMap
[src]
fn new() -> FreeRegionMap
🔬 This is a nightly-only experimental API. (
rustc_private
)fn is_empty(&self) -> bool
🔬 This is a nightly-only experimental API. (
rustc_private
)fn relate_free_regions_from_implied_bounds(&mut self,
implied_bounds: &[ImpliedBound<'tcx>])
implied_bounds: &[ImpliedBound<'tcx>])
🔬 This is a nightly-only experimental API. (
rustc_private
)fn relate_free_regions_from_predicates(&mut self, predicates: &[Predicate])
🔬 This is a nightly-only experimental API. (
rustc_private
)fn sub_free_region(&self, sub: FreeRegion, sup: FreeRegion) -> bool
🔬 This is a nightly-only experimental API. (
rustc_private
)Determines whether two free regions have a subregion relationship
by walking the graph encoded in map
. Note that
it is possible that sub != sup
and sub <= sup
and sup <= sub
(that is, the user can give two different names to the same lifetime).
fn lub_free_regions(&self, fr_a: FreeRegion, fr_b: FreeRegion) -> Region
🔬 This is a nightly-only experimental API. (
rustc_private
)fn is_subregion_of(&self,
tcx: TyCtxt,
sub_region: &Region,
super_region: &Region)
-> bool
tcx: TyCtxt,
sub_region: &Region,
super_region: &Region)
-> bool
🔬 This is a nightly-only experimental API. (
rustc_private
)Determines whether one region is a subregion of another. This is intended to run after inference and sadly the logic is somewhat duplicated with the code in infer.rs.
fn is_static(&self, super_region: FreeRegion) -> bool
🔬 This is a nightly-only experimental API. (
rustc_private
)Determines whether this free-region is required to be 'static
Trait Implementations
impl Decodable for FreeRegionMap
[src]
fn decode<__D>(__arg_0: &mut __D) -> Result<FreeRegionMap, __D::Error> where __D: Decoder
🔬 This is a nightly-only experimental API. (
rustc_private
)impl Clone for FreeRegionMap
[src]
fn clone(&self) -> FreeRegionMap
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more