Skip to content

Commit 1d49b05

Browse files
committed
Apply lifetimebound to the Result API
1 parent c79e499 commit 1d49b05

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

subspace/result/result.h

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@
2424
#include "subspace/assertions/check.h"
2525
#include "subspace/assertions/unreachable.h"
2626
#include "subspace/iter/into_iterator.h"
27+
#include "subspace/macros/lifetimebound.h"
2728
#include "subspace/macros/no_unique_address.h"
2829
#include "subspace/marker/unsafe.h"
2930
#include "subspace/mem/clone.h"
@@ -538,7 +539,7 @@ class [[nodiscard]] Result final {
538539
mref(storage_.err_));
539540
}
540541

541-
constexpr Once<const T&> iter() const& noexcept {
542+
constexpr Once<const T&> iter() const& noexcept sus_lifetimebound {
542543
::sus::check(state_ != __private::ResultState::IsMoved);
543544
if (state_ == __private::ResultState::IsOk)
544545
return Once<const T&>::with(Option<const T&>::some(storage_.ok_));
@@ -547,7 +548,7 @@ class [[nodiscard]] Result final {
547548
}
548549
Once<const T&> iter() const&& = delete;
549550

550-
constexpr Once<T&> iter_mut() & noexcept {
551+
constexpr Once<T&> iter_mut() & noexcept sus_lifetimebound {
551552
::sus::check(state_ != __private::ResultState::IsMoved);
552553
if (state_ == __private::ResultState::IsOk)
553554
return Once<T&>::with(Option<T&>::some(mref(storage_.ok_)));

0 commit comments

Comments
 (0)