LWG4200 The operation_state concept can be simplified

Author: burblebee

source/exec.tex

@@ -1189,9 +1189,8 @@
   template<class O>
     concept @\deflibconcept{operation_state}@ =
       @\libconcept{derived_from}@<typename O::operation_state_concept, operation_state_t> &&
-      is_object_v<O> &&
       requires (O& o) {
-        { start(o) } noexcept;
+        start(o);
       };
 }
 \end{codeblock}