Value or Error

Something not really mentioned until now is how Outcome interoperates with the proposed P0323 std::expected<T, E> , whose design lands in between unchecked<T, E = varies> and checked<T, E = varies> (both of which are type aliases hard coding no-value policies as previously covered in this tutorial). Expected and Outcome are isomorphic to one another in design intent, but interoperation for code using Expected and Outcome ought to be seamless thanks to the proposed ValueOrError concept framework, a subset of which Outcome implements. »