Skip to main content

## TypeOutlivesDelegate

# Trait TypeOutlivesDelegate

    pub trait TypeOutlivesDelegate<'tcx> {
        // Required methods
        fn push_sub_region_constraint(
            &mut self,
            origin: SubregionOrigin<'tcx>,
            a: Region<'tcx>,
            b: Region<'tcx>,
            constraint_category: ConstraintCategory<'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>, constraint_category: ConstraintCategory<'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<'tcx>