Trait rustc_infer::infer::outlives::obligations::TypeOutlivesDelegate

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>
)

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

Implementors

impl<'cx, 'tcx> TypeOutlivesDelegate<'tcx> for &'cx InferCtxt<'cx, 'tcx>