Trait rustc_infer::infer::outlives::obligations::TypeOutlivesDelegate[−][src]

pub trait TypeOutlivesDelegate<'tcx> {
    fn push_sub_region_constraint(
        &mut self, 
        origin: SubregionOrigin<'tcx>, 
        a: Region<'tcx>, 
        b: Region<'tcx>
    );

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

Required methods

fn push_sub_region_constraint(
    &mut self,
    origin: SubregionOrigin<'tcx>,
    a: Region<'tcx>,
    b: Region<'tcx>
)[src]

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

Loading content...

Implementors

impl<'cx, 'tcx> TypeOutlivesDelegate<'tcx> for &'cx InferCtxt<'cx, 'tcx>[src]

Loading content...