Function rustc_trait_selection::traits::wf::object_region_bounds
source · pub fn object_region_bounds<'tcx>(
tcx: TyCtxt<'tcx>,
existential_predicates: &'tcx List<PolyExistentialPredicate<'tcx>>
) -> Vec<Region<'tcx>>
Expand description
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
infer::required_region_bounds
, see that for more information.