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