Function rustc_traits::lowering::implied_bound_from_trait [−][src]
fn implied_bound_from_trait<'a, 'tcx>(
tcx: TyCtxt<'a, 'tcx, 'tcx>,
trait_pred: TraitPredicate<'tcx>,
where_clause: &Predicate<'tcx>
) -> Clause<'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?
For a given where_clause
, returns a clause FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn>)
.