Struct rustc_infer::infer::free_regions::RegionRelations
source · [−]pub(crate) struct RegionRelations<'a, 'tcx> {
pub tcx: TyCtxt<'tcx>,
pub context: DefId,
pub free_regions: &'a FreeRegionMap<'tcx>,
}Expand description
Combines a FreeRegionMap and a TyCtxt.
This stuff is a bit convoluted and should be refactored, but as we transition to NLL, it’ll all go away anyhow.
Fields
tcx: TyCtxt<'tcx>context: DefIdThe context used for debug messages
free_regions: &'a FreeRegionMap<'tcx>Free-region relationships.
Implementations
sourceimpl<'a, 'tcx> RegionRelations<'a, 'tcx>
impl<'a, 'tcx> RegionRelations<'a, 'tcx>
pub fn new(
tcx: TyCtxt<'tcx>,
context: DefId,
free_regions: &'a FreeRegionMap<'tcx>
) -> Self
pub fn lub_free_regions(
&self,
r_a: Region<'tcx>,
r_b: Region<'tcx>
) -> Region<'tcx>
Auto Trait Implementations
impl<'a, 'tcx> !RefUnwindSafe for RegionRelations<'a, 'tcx>
impl<'a, 'tcx> !Send for RegionRelations<'a, 'tcx>
impl<'a, 'tcx> !Sync for RegionRelations<'a, 'tcx>
impl<'a, 'tcx> Unpin for RegionRelations<'a, 'tcx> where
'tcx: 'a,
impl<'a, 'tcx> !UnwindSafe for RegionRelations<'a, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for T where
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes