Skip to content

Document the depth-first pre-order of ReportIter as a guarantee - #194

Merged
TethysSvensson merged 1 commit into
mainfrom
tethys/document-iteration-order
Jul 4, 2026
Merged

Document the depth-first pre-order of ReportIter as a guarantee#194
TethysSvensson merged 1 commit into
mainfrom
tethys/document-iteration-order

Document the depth-first pre-order of ReportIter as a guarantee

51aba82
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
miri (ubuntu-latest, Stacked Borrows)
succeeded Jul 4, 2026 in 2m 18s