Postconditions: val_ == 0 and
cat_ == &system_category(). error_code(int val, const error_category& cat) noexcept;
Postconditions: val_ == val and
cat_ == &cat. template<class ErrorCodeEnum>
error_code(ErrorCodeEnum e) noexcept;
Constraints: is_error_code_enum_v<ErrorCodeEnum> is
true. Postconditions: *this == make_error_code(e).