use Execution::DoThrow () in Optional<T, TRAITS>::CheckedValue