Function rustc::ty::wf::trait_obligations

Important traits for Vec<u8>

impl Write for Vec<u8>

pub fn trait_obligations<'a, 'gcx, 'tcx>(
    infcx: &InferCtxt<'a, 'gcx, 'tcx>, 
    param_env: ParamEnv<'tcx>, 
    body_id: NodeId, 
    trait_ref: &TraitRef<'tcx>, 
    span: Span
) -> Vec<PredicateObligation<'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?

Returns the obligations that make this trait reference well-formed. For example, if there is a trait Set defined like trait Set<K:Eq>, then the trait reference Foo: Set<Bar> is WF if Bar: Eq.