Trait rustc_trait_selection::infer::outlives::obligations::TypeOutlivesDelegate

source · [−]

pub trait TypeOutlivesDelegate<'tcx> {
    fn push_sub_region_constraint(
        &mut self, 
        origin: SubregionOrigin<'tcx>, 
        a: &'tcx RegionKind, 
        b: &'tcx RegionKind
    );
    fn push_verify(
        &mut self, 
        origin: SubregionOrigin<'tcx>, 
        kind: GenericKind<'tcx>, 
        a: &'tcx RegionKind, 
        bound: VerifyBound<'tcx>
    );
}

Required methods

fn push_sub_region_constraint(
    &mut self,
    origin: SubregionOrigin<'tcx>,
    a: &'tcx RegionKind,
    b: &'tcx RegionKind
)

fn push_verify(
    &mut self,
    origin: SubregionOrigin<'tcx>,
    kind: GenericKind<'tcx>,
    a: &'tcx RegionKind,
    bound: VerifyBound<'tcx>
)

Implementors