Function rustc::traits::poly_project_and_unify_type [−][src]
pub fn poly_project_and_unify_type<'cx, 'gcx, 'tcx>(
selcx: &mut SelectionContext<'cx, 'gcx, 'tcx>,
obligation: &Obligation<'tcx, PolyProjectionPredicate<'tcx>>
) -> Result<Option<Vec<PredicateObligation<'tcx>>>, MismatchedProjectionTypes<'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?
Evaluates constraints of the form:
for<...> <T as Trait>::U == V
If successful, this may result in additional obligations. Also returns the projection cache key used to track these additional obligations.