Trait rustc_trait_selection::infer::free_regions::FreeRegionRelations

pub trait FreeRegionRelations<'tcx> {
    fn sub_free_regions(
        &self, 
        tcx: TyCtxt<'tcx>, 
        shorter: &'tcx RegionKind, 
        longer: &'tcx RegionKind
    ) -> 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

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

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

Implementors