Trait TypeOutlivesDelegate 

pub trait TypeOutlivesDelegate<'tcx> {
    // Required methods
    fn push_sub_region_constraint(
        &mut self,
        origin: SubregionOrigin<'tcx>,
        a: Region<TyCtxt<'tcx>>,
        b: Region<TyCtxt<'tcx>>,
        constraint_category: ConstraintCategory<'tcx>,
    );
    fn push_verify(
        &mut self,
        origin: SubregionOrigin<'tcx>,
        kind: GenericKind<'tcx>,
        a: Region<TyCtxt<'tcx>>,
        bound: VerifyBound<'tcx>,
    );
}

Required Methods

fn push_sub_region_constraint( &mut self, origin: SubregionOrigin<'tcx>, a: Region<TyCtxt<'tcx>>, b: Region<TyCtxt<'tcx>>, constraint_category: ConstraintCategory<'tcx>, )

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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