pub trait InferCtxtExt<'a, 'tcx> {
    // Required methods
    fn implied_outlives_bounds(
        &self,
        param_env: ParamEnv<'tcx>,
        body_id: LocalDefId,
        ty: Ty<'tcx>
    ) -> Vec<OutlivesBound<'tcx>>;
    fn implied_bounds_tys(
        &'a self,
        param_env: ParamEnv<'tcx>,
        body_id: LocalDefId,
        tys: FxIndexSet<Ty<'tcx>>
    ) -> Bounds<'a, 'tcx>;
}

Required Methods§

source

fn implied_outlives_bounds( &self, param_env: ParamEnv<'tcx>, body_id: LocalDefId, ty: Ty<'tcx> ) -> Vec<OutlivesBound<'tcx>>

source

fn implied_bounds_tys( &'a self, param_env: ParamEnv<'tcx>, body_id: LocalDefId, tys: FxIndexSet<Ty<'tcx>> ) -> Bounds<'a, 'tcx>

Implementors§

source§

impl<'a, 'tcx: 'a> InferCtxtExt<'a, 'tcx> for InferCtxt<'tcx>