Function rustc::traits::fulfill::process_predicate [−][src]
fn process_predicate<'a, 'gcx, 'tcx>(
selcx: &mut SelectionContext<'a, 'gcx, 'tcx>,
pending_obligation: &mut PendingPredicateObligation<'tcx>,
register_region_obligations: bool
) -> Result<Option<Vec<PredicateObligation<'tcx>>>, FulfillmentErrorCode<'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?
Processes a predicate obligation and returns either:
Ok(Some(v))
if the predicate is true, presuming thatv
are also trueOk(None)
if we don't have enough info to be sureErr
if the predicate does not hold