execution/operation_state: LWG4200

Author: yohhoy

reference/execution/execution/operation_state.md

@@ -9,9 +9,8 @@ namespace std::execution {
   template<class O>
   concept operation_state =
     derived_from<typename O::operation_state_concept, operation_state_t> &&
-    is_object_v<O> &&
     requires (O& o) {
-      { start(o) } noexcept;
+      start(o);
     };
 
   struct operation_state_t {};  // タグ型
@@ -25,8 +24,8 @@ namespace std::execution {
 
 下記をみたすクラス型はOperation Stateとみなせる。
 
-- `operation_state_t`をメンバ型`O::operation_state_concept`として定義するクラス型
-- `O`型の左辺値`o`に対して[`execution::start`](start.md)`(o)`が有効な式かつ例外送出されないこと
+- `operation_state_t`をメンバ型`O::operation_state_concept`として定義する
+- `O`型の左辺値`o`に対して[`execution::start`](start.md)`(o)`が有効な式
 
 非同期操作の生存期間中に`operation_state`オブジェクトが破棄されると、未定義の動作を引き起こす。
 
@@ -89,3 +88,4 @@ int main()
 
 ## 参照
 - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
+- [LWG 4200. The `operation_state` concept can be simplified](https://cplusplus.github.io/LWG/issue4200)