Function rustc::ty::wf::predicate_obligations
[−]
[src]
pub fn predicate_obligations<'a, 'gcx, 'tcx>(
infcx: &InferCtxt<'a, 'gcx, 'tcx>,
param_env: ParamEnv<'tcx>,
body_id: NodeId,
predicate: &Predicate<'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?