Function rustc_trait_selection::traits::wf::clause_obligations
source ยท pub fn clause_obligations<'tcx>(
infcx: &InferCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
body_id: LocalDefId,
clause: Clause<'tcx>,
span: Span,
) -> Vec<PredicateObligation<'tcx>>
Expand description
Returns the requirements for clause
to be well-formed.
For example, if there is a trait Set
defined like
trait Set<K: Eq>
, then the trait bound Foo: Set<Bar>
is WF
if Bar: Eq
.