Trait rustc_trait_selection::traits::outlives_bounds::InferCtxtExt

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

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

Implementors

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