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