Function rustc_trans::middle::ty::predicates_for_trait_refExperimental
[-]
[+]
[src]
pub fn predicates_for_trait_ref(tcx: &ctxt<'tcx>, trait_ref: &Binder<Rc<TraitRef<'tcx>>>) -> Vec<Predicate<'tcx>>
Given a reference to a trait, returns the "superbounds" declared on the trait, with appropriate substitutions applied. Basically, this applies a filter to the where clauses on the trait, returning those that have the form:
Self : SuperTrait<...> Self : 'region