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