Struct rustc_infer::infer::free_regions::RegionRelations
source · [−]pub(crate) struct RegionRelations<'a, 'tcx> {
pub tcx: TyCtxt<'tcx>,
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>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>, 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 Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for Twhere
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: 16 bytes