improve Result::or_else constraint documentation

Author: liam-teale

include/common/result.hpp

@@ -135,8 +135,8 @@ class Result<T, Errs...> {
      *
      * constraints:
      * - Callable must be invocable with all error types as arguments
-     * - If invocable, the callable must always return the same type regardless of argument type
-     * - If invocable, the callable must return a Result
+     * - The callable must always return the same type regardless of argument type
+     * - The callable must return a Result
      * - The Result returned by the callable must have the same value type
      *
      * @tparam Self deduced self type
@@ -146,9 +146,9 @@ class Result<T, Errs...> {
      */
     template<typename Self, typename F>
         requires traits::AllInvocable<Self, F, Errs...>
-                 // the callable must always return the same type (if it's invocable)
+                 // the callable must always return the same type
                  && traits::AllSame<traits::or_else_return_t<Self, F, Errs>...>
-                 // the callable must return a Result (if it's invocable)
+                 // the callable must return a Result
                  && traits::AllResult<Self, F, Errs...>
                  // the Result returned by the callable must have the same value type
                  && traits::AllValueTypeMatch<Self, traits::or_else_return_t<Self, F, Errs>...>
@@ -307,9 +307,9 @@ class Result<void, Errs...> {
      * expressions, as fold expressions significantly complicates error messages
      *
      * constraints:
-     * - Callable must be invocable with any error type as an argument
-     * - If invocable, the callable must always return the same type regardless of argument type
-     * - If invocable, the callable must return a Result
+     * - Callable must be invocable with all error types as arguments
+     * - The callable must always return the same type regardless of argument type
+     * - The callable must return a Result
      * - The Result returned by the callable must have the same value type
      *
      * @tparam Self deduced self type
@@ -319,9 +319,9 @@ class Result<void, Errs...> {
      */
     template<typename Self, typename F>
         requires traits::AllInvocable<Self, F, Errs...>
-                 // the callable must always return the same type (if it's invocable)
+                 // the callable must always return the same type
                  && traits::AllSame<traits::or_else_return_t<Self, F, Errs>...>
-                 // the callable must return a Result (if it's invocable)
+                 // the callable must return a Result
                  && traits::AllResult<Self, F, Errs...>
                  // the Result returned by the callable must have the same value type
                  && traits::AllValueTypeMatch<Self, traits::or_else_return_t<Self, F, Errs>...>