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