fn add_implied_bounds(&mut self, ty: Ty<'tcx>) {
        debug!("add_implied_bounds(ty={:?})", ty);
        let span = self.infcx.tcx.def_span(self.mir_def_id);
        let bounds = self
            .infcx
            .implied_outlives_bounds(self.param_env, self.mir_node_id, ty, span);
        self.add_outlives_bounds(bounds);
    }
/// Update the type of a single local, which should represent
/// either the return type of the MIR or one of its arguments. At
/// the same time, compute and add any implied bounds that come
/// from this local.
Update the type of a single local, which should represent
either the return type of the MIR or one of its arguments. At
the same time, compute and add any implied bounds that come
from this local.
Update the type of a single local which should represent either the return type of the MIR or one of its arguments . At the same time compute and add any implied bounds that come from this local .
fn add_implied_bounds(&mut self, ty: Ty<'tcx>) {
        debug!("add_implied_bounds(ty={:?})", ty);
        let span = self.infcx.tcx.def_span(self.mir_def_id);
        let bounds = self
            .infcx
            .implied_outlives_bounds(self.param_env, self.mir_node_id, ty, span);
        self.add_outlives_bounds(bounds);
    }
fn add_implied_bounds ( & mut self , ty : Ty < ' tcx > ) { debug ! ( " " ty ) ; let span = self . infcx . tcx . def_span ( self . mir_def_id ) ; let bounds = self . infcx . implied_outlives_bounds ( self . param_env , self . mir_node_id , ty , span ) ; self . add_outlives_bounds ( bounds ) ; }
Update the type of a single local, which should represent
either the return type of the MIR or one of its arguments.
Update the type of a single local which should represent either the return type of the MIR or one of its arguments .
&mut self
ty
Ty<'tcx>