Proposed resolution:

This wording is relative to N5014.

1. Modify [exec.stop.when], as indicated:

   -2- The name `stop-when` denotes an exposition-only sender adaptor. For subexpressions `sndr` and `token`:

   1. (2.1) — If `decltype((sndr))` does not satisfy `sender`, or remove_cvref_t<decltype((token))> does not satisfy `stoppable_token`, then stop-when(sndr, token) is ill-formed.
   2. (2.2) — Otherwise, if remove_cvref_t<decltype((token))> models `unstoppable_token` then stop-when(sndr, token) is expression-equivalent to (void)token, sndr, except that `token` and `sndr` are indeterminately sequenced.

[ Kona 2025-11-08; Status changed: Immediate → WP. ]

[ Kona 2025-11-07; approved by LWG. Status changed: New → Immediate. ]

For the case where `token` models `unstoppable_token` the expression that `stop-when` is expression-equivalent to needs to include the fact that `token` is evaluated (even if not used).