Function trait_explicit_predicates_and_bounds 

fn trait_explicit_predicates_and_bounds<'tcx>() -> GenericPredicates<'tcx>