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

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

Required methods

fn push_sub_region_constraint(
    &mut self,
    origin: SubregionOrigin,
    a: &RegionKind,
    b: &RegionKind
)

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

Implementors