Function rustc_trans::middle::implicator::object_region_boundsUnstable [-] [+] [src]

pub fn object_region_bounds(tcx: &ctxt<'tcx>, principal: &Binder<Rc<TraitRef<'tcx>>>, others: EnumSet<BuiltinBound>) -> Vec<Region>

Given an object type like SomeTrait+Send, computes the lifetime bounds that must hold on the elided self type. These are derived from the declarations of SomeTrait, Send, and friends -- if they declare trait SomeTrait : 'static, for example, then 'static would appear in the list. The hard work is done by ty::required_region_bounds, see that for more information.