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