Assume_error

unchecked<T, E> and checked<T, E>

We have now covered all of the default actions in Outcome whereby result<T, EC> and outcome<T, EC, EP> implement various default actions upon no-value observation according to traits defined upon the EC and EP chosen. If you don’t want all this clever automatic detection of traits, and just want a plain, always-undefined-behaviour-on-no-value-observation success-or-failure type, we provide a simplified template alias to result<T, E> called unchecked<T, E> . It literally does no run time checking whatsoever, no-value observation is always undefined behaviour. »