stoppable_token concept definition redundantly rqeuires move_constructible

cplusplus / sender-receiver

Issues list for P2300

Apache License 2.0

19 stars 3 forks source link

stoppable_token concept definition redundantly rqeuires move_constructible #15

Closed ericniebler closed 2 months ago

ericniebler commented 10 months ago

Issue by lewissbaker Tuesday Nov 15, 2022 at 01:12 GMT _Originally opened as https://github.com/brycelelbach/wg21_p2300_execution/issues/7_

stoppable_token definition in R5 requires both move_constructible and copy_constructible, however copy_constructible already implies move_constructible and so requiring move_constructible is redundant and should be removed.

inbal2l commented 3 months ago

@lewissbaker I believe this is fixed on the latest draft, as stoppable_token now requires copyable. https://cplusplus.github.io/sender-receiver/execution.html#spec-stoptoken.concepts

ericniebler commented 2 months ago

fixed