Trait rustc_infer::infer::free_regions::FreeRegionRelations

pub trait FreeRegionRelations<'tcx> {
    pub fn sub_free_regions(
        &self, 
        tcx: TyCtxt<'tcx>, 
        shorter: Region<'tcx>, 
        longer: Region<'tcx>
    ) -> bool;
}

The NLL region handling code represents free region relations in a slightly different way; this trait allows functions to be abstract over which version is in use.

Required methods

pub fn sub_free_regions(
    &self,
    tcx: TyCtxt<'tcx>,
    shorter: Region<'tcx>,
    longer: Region<'tcx>
) -> bool

Tests whether r_a <= r_b. Both must be free regions or 'static.

Loading content...

Implementors

impl<'tcx> FreeRegionRelations<'tcx> for FreeRegionMap<'tcx>

pub fn sub_free_regions(
    &self,
    tcx: TyCtxt<'tcx>,
    r_a: Region<'tcx>,
    r_b: Region<'tcx>
) -> bool

Loading content...