pub trait InferCtxtExt<'a, 'tcx> {
    fn implied_outlives_bounds(
        &self,
        param_env: ParamEnv<'tcx>,
        body_id: HirId,
        ty: Ty<'tcx>
    ) -> Vec<OutlivesBound<'tcx>>; fn implied_bounds_tys(
        &'a self,
        param_env: ParamEnv<'tcx>,
        body_id: HirId,
        tys: FxHashSet<Ty<'tcx>>
    ) -> impl Iterator<Item = OutlivesBound<'tcx>> + 'a; }

Required Methods

Implementors