Function rustc::middle::ty::predicates_for_trait_refExperimental [-]  [+] [src]

pub fn predicates_for_trait_ref<'tcx>(tcx: &ctxt<'tcx>, trait_ref: &PolyTraitRef<'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