This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of Resolved status.

4331. affine_on shape may be wrong

Section: 33.13.3 [exec.affine.on] Status: Resolved Submitter: Dietmar Kühl Opened: 2025-08-31 Last modified: 2026-04-01

Priority: 2

View all other issues in [exec.affine.on].

View all issues with Resolved status.

Discussion:

affine_on is specified to take a sender and a scheduler as arguments. The scheduler is meant to match the scheduler obtained from the get_scheduler query on the receiver's environment. Thus, the scheduler argument is redundant and the semantics become weird if these two schedulers don't match. The affine_on algorithm should only take the sender as argument.

[2025-10-17; Reflector poll. Status changed: New → LEWG.]

Set priority to 2 after reflector poll. Send to LEWG.

[2026-04-01 Resolved by the adoption of P3941R4 at Croydon, 2026. Status changed: LEWG → Resolved.]

Proposed resolution: