Trait rustc_trait_selection::traits::query::outlives_bounds::InferCtxtExt

pub trait InferCtxtExt<'tcx> {
    fn implied_outlives_bounds(
        &self, 
        param_env: ParamEnv<'tcx>, 
        body_id: HirId, 
        ty: Ty<'tcx>, 
        span: Span
    ) -> Vec<OutlivesBound<'tcx>>;
}

Required methods

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

Implementors

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