Function rustc::ty::wf::object_region_bounds

Important traits for Vec<u8>

impl Write for Vec<u8>

pub fn object_region_bounds<'a, 'gcx, 'tcx>(
    tcx: TyCtxt<'a, 'gcx, 'tcx>, 
    existential_predicates: Binder<&'tcx Slice<ExistentialPredicate<'tcx>>>
) -> Vec<Region<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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.