29178829358
97%

Ran 12 Jul 2026 03:54AM UTC

Jobs 1

Files 3

Run time 1min

Badge

Embed ▾

Committed 12 Jul 2026 03:49AM UTC coverage: 97.013%. Remained the same

Build # 29178829358

Build Type

push

github

Committed by

steve-downey

Commit Message

wording: make swap noexcept precise for reference E; document error storage

Close the two loose ends from the storage fix:

1. The primary and void swap exception specifications tested
   is_nothrow_swappable_v<E>, which for a reference E asks whether the
   *referents* are nothrow-swappable -- over-conservative, since swap
   exchanges the errors as unexpected<E> (a pointer swap for E&, always
   noexcept). Respell the E terms as unexpected<E> in both swap noexcept
   specs and the primary swap's branch guard. Equivalent for object E;
   correctly noexcept for reference E.

2. Add a marked General paragraph to expected<T, E> and expected<void, E>
   stating the error is unex.error(), held as unexpected<E> so E may be an
   lvalue reference (E& cannot be a union member; unexpected<E&> holds a
   pointer). Pure additions.

Verified: build clean at 93 pages; stripped diff vs expected-base.tex
changes exactly 19 lines (3 relaxation + 13 storage + 3 swap), the two
notes being additions; no churn.

Coverage Stats

682 of 703 relevant lines covered (97.01%)

25.99 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	29178829358.1	12 Jul 2026 03:54AM UTC	3	97.01	GitHub Action Run

steve-downey / expected / 29178829358
97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 29178829358

steve-downey / expected / 29178829358 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 29178829358

steve-downey / expected / 29178829358
97%

README BADGES
x