Function rustc::traits::util::impl_trait_ref_and_oblig [−][src]
pub fn impl_trait_ref_and_oblig<'a, 'gcx, 'tcx>(
selcx: &mut SelectionContext<'a, 'gcx, 'tcx>,
param_env: ParamEnv<'tcx>,
impl_def_id: DefId,
impl_substs: &Substs<'tcx>
) -> (TraitRef<'tcx>, 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?
Instantiate all bound parameters of the impl with the given substs, returning the resulting trait ref and all obligations that arise. The obligations are closed under normalization.