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§
source§impl<'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§
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