Executor wording needs to not put `get_executor()` is equal to the executor in type requirements

executors / futures

A proposal for a futures programming model for ISO C++

22 stars 7 forks source link

Executor wording needs to not put `get_executor()` is equal to the executor in type requirements #116

Closed brycelelbach closed 6 years ago

brycelelbach commented 6 years ago

That's a postcondition or a precondition (operational semantics), not a type property. I yanked it out in a bunch of places; we'll need to re-add that condition for V1.5.

brycelelbach commented 6 years ago

@LeeHowes I think this was from stuff you wrote or stuff pulled in from executors. Can you take a look into this?

LeeHowes commented 6 years ago

Committed.