11<?xml version =' 1.0' encoding =' utf-8' standalone =' no' ?>
22<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
33
4- <issue num =" 4463" status =" New " >
4+ <issue num =" 4463" status =" Immediate " >
55<title >Change wording to 'model' from 'subsumes' in [algorithms.parallel.user]</title >
66<section ><sref ref =" [algorithms.parallel.user]" /></section >
77<submitter >Ruslan Arutyunyan</submitter >
1515<p />
1616Proposed change: Say that the type is required to model `regular_invocable`.
1717</p >
18+
19+ <note >Kona 2025-11-07; approved by LWG. Status changed: New → Immediate.</note >
1820</discussion >
1921
2022<resolution >
@@ -30,8 +32,8 @@ This wording is relative to <paper num="N5014"/>.
3032-1- Unless otherwise specified, invocable objects passed into parallel algorithms as objects of a
3133type denoted by a template parameter named `Predicate`, `BinaryPredicate`, `Compare`,
3234`UnaryOperation`, `BinaryOperation`, `BinaryOperation1`, `BinaryOperation2`, `BinaryDivideOp`,
33- or constrained by a concept<ins >, which semantic requirements impose </ins > that
34- <del >subsumes</del ><ins >the type models</ins > `regular_invocable` and the operators used by the
35+ or constrained by a concept <ins >whose semantic requirements include </ins > that
36+ <del >subsumes</del > <ins >the type models</ins > `regular_invocable` and the operators used by the
3537analogous overloads to these parallel algorithms that are formed by an invocation with the
3638specified default predicate or operation (where applicable) shall not directly
3739or indirectly modify objects via their arguments, nor shall they rely on the identity of the
0 commit comments