pub(super) fn trait_explicit_predicates_and_bounds( tcx: TyCtxt<'_>, def_id: LocalDefId, ) -> GenericPredicates<'_>