Struct rustc_infer::infer::free_regions::RegionRelations

pub(crate) struct RegionRelations<'a, 'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub free_regions: &'a FreeRegionMap<'tcx>,
}

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

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>

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