Trait rustc_trait_selection::infer::OutlivesEnvironmentExt

pub trait OutlivesEnvironmentExt<'tcx> {
    fn add_implied_bounds<'a>(
        &mut self, 
        infcx: &InferCtxt<'a, 'tcx>, 
        fn_sig_tys: &[Ty<'tcx>], 
        body_id: HirId, 
        span: Span
    );
}

Required methods

fn add_implied_bounds<'a>(
    &mut self,
    infcx: &InferCtxt<'a, 'tcx>,
    fn_sig_tys: &[Ty<'tcx>],
    body_id: HirId,
    span: Span
)

Implementors

impl<'tcx> OutlivesEnvironmentExt<'tcx> for OutlivesEnvironment<'tcx>