[−][src]Function rustc::traits::specialize::fulfill_implication
fn fulfill_implication<'a, 'gcx, 'tcx>(
infcx: &InferCtxt<'a, 'gcx, 'tcx>,
param_env: ParamEnv<'tcx>,
source_trait_ref: TraitRef<'tcx>,
target_impl: DefId
) -> Result<&'tcx Substs<'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?
Attempt to fulfill all obligations of target_impl
after unification with
source_trait_ref
. If successful, returns a substitution for all the
generics of target_impl
, including both those needed to unify with
source_trait_ref
and those whose identity is determined via a where
clause in the impl.